On the calculus of syntactic types (1961)

by Joachim Lambek
Venue:Studies of Language and its Mathematical Aspects, Proc. of the 12th Symp. Appl. Math