Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975

Corrado Böhm Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 Lambda-Calculus and Computer Science Theory Lecture Notes in Computer Science 37 Springer 1975 3-540-07416-3 db/conf/lambda/lambda1975.html