Johan van Benthem. Categorial grammar and type theory. J. Philosophical Logic, 19(2):115-168, 1990. [doi]
@article{Benthem90, title = {Categorial grammar and type theory}, author = {Johan van Benthem}, year = {1990}, doi = {10.1007/BF00263539}, url = {http://dx.doi.org/10.1007/BF00263539}, researchr = {https://researchr.org/publication/Benthem90}, cites = {0}, citedby = {0}, journal = {J. Philosophical Logic}, volume = {19}, number = {2}, pages = {115-168}, }