On the Calculus of Syntactic Types", (1961)

by Joachim Lambek
Venue:The Structure of Language and its Mathematical Aspects,