Highlights of the History of the Lambda-Calculus (1982)

by J B Rosser
Venue:Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming