H. Barendregt, of Studies in Logic and The Foundations of Mathematics, vol.103, 1981.

C. Barker, NL ? as the logic of scope and movement, Journal of Logic, Language and Information, vol.28, issue.2, pp.217-237, 2019.

C. Barker and C. Shan, Continuations and Natural Language, Oxford Studies in Theoretical Linguistics, 2014.

T. Becker, HyTAG: A New Type of Tree Adjoining Grammars for Hybrid Syntactic Representation of Free Word Order Languages, 1994.

T. Becker, O. Rambow, and M. Niv, The derivational generative power of formal systems or scrambling is beyond LCFRS, Technical Report, vol.38, 1992.

P. Boullier, Chinese numbers, MIX, scrambling and range concatenation grammars, Proceedings of the European Association of Computational Linguistics EACL'99, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00073064

W. Buszkowski, Mathematical linguistics and proof theory, vol.12, pp.683-736, 1997.

P. De-groote and C. Retoré, On the semantic readings of proof nets, pp.57-70, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00823554

M. Emms, Extraction covering extensions of the Lambek calculus are not context free, Proceedings 9th Amsterdam Colloquium, pp.268-286, 1993.

P. Hendriks, Ellipsis and multimodal categorial type logic, pp.107-122, 1995.

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, 1979.

A. Joshi, V. Shanker, and D. Weir, The convergence of mildly contextsensitive grammar formalisms, pp.31-82, 1991.

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

Y. Kubota and R. Levine, Gapping as like-category coordination, Logical Aspects of Computational Linguistics, vol.7351, pp.135-150, 2012.

Y. Kubota and R. Levine, Type-Logical Syntax, 2020.

K. Makoto and S. Salvati, Mix is not a tree-adjoining language, Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00959618

M. Moortgat, Handbook of Logic and Language', pp.93-177, 1997.

M. Moortgat and R. Moot, Proof nets for the Lambek-Grishin calculus, Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse, pp.283-320, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00759895

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

R. Moot and C. Retoré, Natural language semantics and computability, Journal of Logic, Language and Information, vol.28, pp.287-307, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01315316

R. Moot and S. Stevens-guille, Proof-theoretic aspects of hybrid typelogical grammars, Proceedings of Formal Grammar, vol.11668, pp.84-100, 2019.
URL : https://hal.archives-ouvertes.fr/lirmm-02268104

G. Morrill, Type Logical Grammar, 1994.

G. Morrill, Geometry of lexico-syntactic interaction, Proceedings of the Ninth Conference of the European Chapter of the Association for Computational Linguistics, pp.61-70, 1999.

G. Morrill, O. Valentín, and M. Fadda, The displacement calculus', Journal of Logic, Language and Information, vol.20, issue.1, pp.1-48, 2011.

M. Nederhof, A short proof that o 2 is an MCFL, 2016.

R. T. Oehrle, Term-labeled categorial type systems, Linguistics & Philosophy, vol.17, issue.6, pp.633-678, 1994.

M. Pentus, Product-free Lambek calculus and context-free grammars, Journal of Symbolic Logic, vol.62, pp.648-660, 1997.

M. Pentus, Lambek calculus is NP-complete, Theoretical Computer Science, vol.357, issue.1, pp.186-201, 2006.

O. Rambow, Formal and Computational Aspects of Natural Language Syntax, 1994.

S. Salvati, MIX is a 2-MCFL and the word problem in Z2 is captured by the IO and the OI hierarchies, Journal of Computer and System Sciences, vol.81, issue.7, pp.1252-1277, 2015.

H. Seki, T. Matsumura, M. Fujii, and T. Kasami, On multiple contextfree grammars, Theoretical Computer Science, vol.88, pp.191-229, 1991.

A. S. Troelstra, Center for the Study of Language and Information, vol.29, 1992.

D. J. Weir, K. Vijay-shanker, and A. K. Joshi, The relationship between tree adjoining grammars and head grammars, Proceedings of the 24th Meeting of the Association for Computational Linguistics, 1986.