From lamba-calculus to cartesian closed categories (1980)

by J Lambek
Venue:in Hindley andSeldin[1980