The Gallery
Lambda Calculus
Moses Schönfinkel
J. Barkley Rosser
Henk Barendregt
1
