Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Y. Akama. A λ-to-CL translation for strong normalization. In Ph. de Groote and J.R. Hindley, eds., TLCA, Proceedings, vol. 1210 of LNCS, pp. 1–10. 1997.
2. H.P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, second edition, 1984.
3. M. Beeson. Foundations of Constructive Mathematics. 1984.
4. A. Berarducci and B. Intrigila. Some new results on easy lambda-terms. TCS, 121:71–88, 1993.
5. I. Bethke. On the existence of extensional partial combinatory algebras. JSL, 52(3):819–833, 1987.