1. Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science 111, 3–57 (1993)
2. Amblard, M., Lecomte, A., Retoré, C.: Categorial minimalist grammars: From generative syntax to logical form. In: van Benthem, J., Moortgat, M. (eds.) Linguistic Analysis — Festschrift for Joachim Lambek. Linguistic Analysis, vol. 36, pp. 273–306 (2010)
3. van Benthem, J.: Categorial grammar. In: Essays in Logical Semantics, ch. 7, pp. 123–150. Reidel, Dordrecht (1986)
4. Sudies in logic and the foundation of mathematics;J. Benthem van,1991
5. van Benthem, J., ter Meulen, A. (eds.): Handbook of Logic and Language, 2nd edn. North-Holland Elsevier, Amsterdam (2011)