Author:
Statman Richard,Barendregt Henk
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Studies in Logic and the Foundations of Mathematics;H. Barendregt,1984
2. Barendsen, E.: Theoretical pearls: an unsolvable numeral system in lambda calculus. J. Funct. Programming 1(3), 367–372 (1991)
3. Böhm, C.: Alcune proprietà delle forme β
n
-normali nel λK-calcolo. Technical Report 696, Istituto per le Applicazioni del Calcolo (IAC), Viale del Policlinico 137, 00161 Rome, Italy (1968)
4. Böhm, C., Dezani-Ciancaglini, M., Peretti, P., Ronchi, S.: A discrimination algorithm inside λβ-calculus. Theoret. Comput. Sci. 8(3), 271–291 (1979)
5. Lecture Notes in Computer Science;M. Coppo,1978