J. A. Bondy and U. S. Murty, Graph Theory, vol.244, 2008.

W. Buszkowski, Some decision problems in the theory of syntactic categories, Mathematical Logic Quarterly, vol.28, pp.539-548, 1982.

V. Danos, La logique linéaire appliquéeà l'étude de divers processus de normalisation, 1990.

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

D. Cosmo, R. Kesner, and D. , Combining algebraic rewriting, extensional lambda calculi, and fixpoints, Theoretical Computer Science, vol.169, pp.201-220, 1996.

M. Emms, Parsing with polymorphism, Proceedings of the Sixth Conference of the European Association of Computational Linguistics, pp.120-129, 1993.

M. Emms, An undecidability result for polymorphic Lambek calculus, Proceedings of the 10th Amsterdam Colloquium, 1995.

J. Y. Girard, Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075966

M. I. Kanovich, S. Kuznetsov, A. Scedrov, R. Iemhoff, M. Moortgat et al., The complexity of multiplicativeadditive lambek calculus: 25 years later, Logic, Language, Information, and Computation -26th International Workshop, vol.11541, pp.356-372, 2019.

J. Klop, V. Van-oostrom, and F. Van-raamsdonk, Combinatory reduction systems: introduction and survey, Theoretical Computer Science, vol.121, pp.279-308, 1993.

Y. Kubota, (in)flexibility of constituency in japanese in multi-modal categorial grammar with structured phonology, 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, Coordination in hybrid type-logical grammar, Ohio State University Working Papers in Linguistics, vol.60, 2013.

Y. Kubota and R. Levine, Determiner gapping as higher-order discontinuous constituency, Formal Grammar, vol.8036, pp.225-241, 2013.

Y. Kubota and R. Levine, Against ellipsis: arguments fr the direct licensing of noncanonical coordinations, Linguistics and Philosophy, vol.38, 2015.

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

J. Lambek, The mathematics of sentence structure, American Mathematical Monthly, vol.65, pp.154-170, 1958.

P. Lincoln, J. Mitchell, A. Scedrov, and N. Shankar, Decision problems for propositional linear logic, Annals of pure and Applied Logic, vol.56, issue.1-3, pp.239-311, 1992.

S. Martin, The dynamics of sense and implicature, 2013.

V. Mihali?ek and C. Pollard, Distinguishing phenogrammar from tectogrammar simplifies the analysis of interrogatives, 2010.

V. Mihali?ik, Serbo-croatian word order: A logical approach, 2012.

M. Moortgat, Categorial Investigations: Logical and Linguistic Aspects of The Lambek Calculus, Foris, 1988.

M. Moortgat, Categorial type logics, 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, Proof nets for linguistic analysis, 2002.

R. Moot, Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars, LaBRI (CNRS), 2014.
URL : https://hal.archives-ouvertes.fr/hal-00996724

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 S. J. Stevens-guille, Proof-theoretic aspects of hybrid type-logical grammars, Proceedings of Formal Grammar, vol.11668, pp.84-100, 2019.
URL : https://hal.archives-ouvertes.fr/lirmm-02268104

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.

R. Muskens, Categorial grammar and lexical-functional grammar, Proceedings of the LFG01 Conference, pp.259-279, 2001.

M. H. Newman, On theories with a combinatorial definition of "equivalence, Annals of mathematics, vol.43, issue.2, pp.223-243, 1942.

G. Perrier, A PSPACE-complete fragment of second order linear logic. Theoretical, Computer Science, vol.222, issue.1-2, pp.267-289, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00098816

C. Pollard, Agnostic hyperintensional semantics, Synthese, vol.192, 2013.

E. A. Smith, Correlational comparison in english, 2010.

C. Worth, The phenogrammar of coordination, Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pp.28-36, 2014.

R. Yoshinaka and M. Kanazawa, The complexity and generative capacity of lexicalized abstract categorial grammars, Proceedings of Logical Aspects of Computational Linguistics, vol.3492, pp.330-346, 2005.