Highlight of the history of the lambda calculus (1982)

by J B Rosser
Venue:Proceedings 1982 ACM Conference on LISP and Functional Programming. ACM