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