The systematic construction of a one-combinator basis for lambda-terms

DOI10.1007/BF03180572zbMath0757.03009MaRDI QIDQ1203131

Could not fetch data.

Publication date: 4 February 1993

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: The systematic construction of a one-combinator basis for lambda-terms