1. A global representation of recursive functions in the γ-calculus;Barendregt;Theoret. Comput. Set.,1976
2. Review of CURRY et al. (1972);J. Symbolic Logic,1977
3. The type free lambda calculus,1977
4. Handbook of Mathematical Logic,1977
5. C. BöHM (editor) [1975] Lambda Calculus and Computer Science Theory, Proceedings of the Symposium held in Rome, March 25–29, 1975, Lecture Notes in Computer Science, 37 (Springer, Berlin).