A characterization of terms of the λI-calculus having a normal form

DOI10.2307/2273041zbMath0279.02013OpenAlexW2158403019MaRDI QIDQ4404859

Hendrik Pieter Barendregt

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273041

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Encoding many-valued logic in $\lambda$-calculus

Cites Work

• Combinatory logic. Vol. II