"Highlights of the History of the Lambda-Calculus."

J. Barkley Rosser (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics