J. Lambek
Categorial and categorical grammars
1988
in: Categorial grammars and natural language structures, Dordrecht : Springer
On the nominalistic interpretation of natural languages
1995
in: Québec studies in the philosophy of science, part I, Dordrecht : Springer