On the calculus of syntactic types (1961)

by J Lambek
Venue:Studies of Language and its Mathematical Aspects, Proceedings of the 12th Symposium of Applied Mathematics