From λ-calculus to Cartesian closed categories (1980)

by J Lambek
Venue:In Formalism