From lambda-calculus to cartesian closed categories (1980)

by J Lambek
Venue:Essays on Combinatory Logic, Lambda Calculus and Formalism