C. Areces, R. Bernardi, and M. Moortgat, Galois connections in categorial type logic, Electronic Notes in Theoretical Computer Science, vol.53, pp.3-20, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000315

G. Bellin and J. Van-de-wiele, Empires and Kingdoms in MLL, Advances in Linear Logic, pp.249-270, 1995.

R. Bernardi and M. Moortgat, Continuation semantics for the Lambek-Grishin calculus, Information and Computation, vol.208, pp.397-416, 2010.

B. Coecke, E. Grefenstette, and M. Sadrzadeh, Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus, Annals of pure and applied logic 164, vol.11, pp.1079-1100, 2013.

V. Danos, La Logique Linéaire Appliquéeà l'étude de Divers Processus de Normalisation (Principalement du ?-Calcul), 1990.

V. Danos and L. Regnier, The Structure of Multiplicatives". In: Archive for Mathematical Logic, vol.28, pp.181-203, 1989.

K. Do?en, A Brief Survey of Frames for the Lambek Calculus, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, vol.38, pp.179-187, 1992.

J. Girard, Quantifiers in Linear Logic II, Nuovi problemi della logica e della filosofia della scienza, 1990.

, The Blind Spot: Lectures on Logic, 2011.

A. Joshi and Y. Schabes, Tree-adjoining Grammars, Handbook of Formal Languages 3: Beyond Words. Ed. by Grzegorz Rosenberg and Arto Salomaa, pp.69-123, 1997.

L. Kallmeyer, Parsing Beyond Context-Free Grammars. Cognitive Technologies, 2010.

Y. Kubota and R. Levine, Gapping as Like-Category Coordination, Logical Aspects of Computational Linguistics, vol.7351, pp.135-150, 2012.

N. Kurtonina and M. Moortgat, Structural Control, Specifying Syntactic Structures, pp.75-113, 1997.

J. Lambek, The Mathematics of Sentence Structure, vol.65, pp.154-170, 1958.

, Categorial and Categorical Grammars, Categorial Grammars and Natural Language Structures, vol.32, pp.297-317, 1988.

P. Lincoln, Deciding Provability of Linear Logic Formulas, Advances in Linear Logic, pp.109-122, 1995.

P. Lincoln and N. Shankar, Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi, Proceedings of Logic in Computer Science (LICS'94), pp.282-291, 1994.

R. Montague, The Proper Treatment of Quantification in Ordinary English". In: Formal Philosophy. Selected Papers of Richard Montague, 1974.

M. Moortgat, Multimodal Linguistic Inference, Journal of Logic, Language and Information, vol.5, pp.349-385, 1996.

R. Moot, Extended Lambek calculi and first-order linear logic, Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday, vol.8222, pp.297-330, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00826416

R. Moot and M. Piazza, Linguistic Applications of First Order Multiplicative Linear Logic, Journal of Logic, Language and Information, vol.10, pp.211-232, 2001.

G. Morrill, O. Valentin, and M. Fadda, The Displacement Calculus, Journal of Logic, Language and Information, vol.20, pp.1-48, 2011.

R. T. Oehrle, Term-Labeled Categorial Type Systems, Linguistics & Philosophy, vol.17, pp.633-678, 1994.

, Multi-modal type-logical grammar". In: Non-transformational Syntax: Formal and Explicit Models of Grammar, pp.225-267, 2011.

, On-Line Encyclopedia of Integer Sequences (OEIS), OEIS Foundation, 1964.

H. Seki, On Multiple Context-free Grammars, Theoretical Computer Science, vol.88, pp.191-229, 1991.

G. Wijnholds, Investigations into Categorial Grammar: Symmetric Pregroup Grammar and Displacement Calculus, 2011.