C. Areces, R. Bernardi, and M. Moortgat, Galois Connections in Categorial Type Logic, Proceedings of FGMOL 2001, pp.3-20, 2001.
DOI : 10.1016/S1571-0661(05)82570-8
URL : https://hal.archives-ouvertes.fr/inria-00000314

J. Baldridge and G. Kruijff, Multi-modal combinatory categorial grammar, Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics , EACL '03, pp.211-218, 2003.
DOI : 10.3115/1067807.1067836
URL : http://acl.ldc.upenn.edu/eacl2003/html/./papers/main/p26.pdf

R. Bernardi and M. Moortgat, Continuation Semantics for Symmetric Categorial Grammar, Proceedings of WoLLIC 2007, pp.53-71, 2007.
DOI : 10.1007/978-3-540-73445-1_5

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

R. Goré, Substructural logics on display, Logic Journal of IGPL, vol.6, issue.3, pp.451-504, 1998.
DOI : 10.1093/jigpal/6.3.451

V. N. Grishin, On a generalization of the Ajdukiewics-Lambek systemStudies in non-classical logics and formal systems, pp.315-334, 1983.

A. Joshi, Tree-adjoining grammarsThe Encyclopedia of Language and Linguistics, 1994.

A. Joshi and Y. Schabes, Tree-adjoining grammarsHandbook of Formal Languages, pp.69-123, 1996.

A. Joshi, V. Shanker, and D. Weir, The convergence of mildly contextsensitive grammar formalisms, Foundational Issues in Natural Language Processing, pp.31-82, 1991.

M. Kandulski, The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars, Zeitschrift f ¨ ur Mathematische Logic und Grundlagen der Mathematik, pp.41-52, 1988.
DOI : 10.1002/malq.19880340106

J. Lambek, From categorial grammar to bilinear logic, pp.207-237, 1993.

M. Moortgat, Categorial type logicsHandbook of Logic and Language, pp.93-177, 1997.

M. Moortgat, Symmetries in natural language syntax and semantics: the Lambek-Grishin calculus, in 'Proceedings of WoLLIC, LNCS, vol.4567, pp.264-284, 2007.

R. Moot, Proof Nets for Linguistic Analysis, 2002.

R. Moot and Q. Puite, Proof nets for the multimodal Lambek calculus, Studia Logica, vol.71, issue.3, pp.415-442, 2002.
DOI : 10.1023/A:1020525032763