M. Amblard, Calcul de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles, 2007.

M. Amblard, Minimalist Grammars and Minimalist Categorial Grammars, definitions toward inclusion of generated languages, Logic and Grammar, pp.61-80, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00617040

M. Amblard, A. Lecomte, and C. Retoré, Categorial Minimalist Grammar : From Generative Syntax To Logical Form, Linguistic Analysis, pp.1-4, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00545748

M. Amblard and C. Retoré, « Partially Commutative Linear Logic and Lambek Caculus with Product : Natural Deduction, Normalisation, Subformula Property, IFCoLog Journal of Logic and its Applications, vol.1, issue.1, pp.53-94, 2014.

M. Baker, Elements of Grammar , Handbook of Generative Syntax, Thematic Roles and Syntactic Structure, pp.73-137, 1997.

Y. Bar-hillel, A Quasi-Arithmetical Notation for Syntactic Description, Language, vol.29, issue.1, pp.47-58, 1953.
DOI : 10.2307/410452

R. Bonato and C. Retoré, Learning Lambek grammars from proof frames Categories And Types In Logic, Language And Physics ? Festschrift on the occasion of Jim Lambek's 90th birthday, LNCS/FoLLI, vol.8222, pp.108-135, 2014.

J. Bresnan, Lexical-Functional Syntax, 2001.
DOI : 10.1002/9781119105664

N. Chomsky, Syntactic Structures, Mouton, The Hague, 1957.

N. Chomsky, The Minimalist Program, 1995.
DOI : 10.7551/mitpress/9780262527347.001.0001

N. Chomsky, Derivation by phase, 1999.

P. De-groote, « Partially commutative linear logic : sequent calculus and phase semantics Third Roma Workshop : Proofs and Linguistics Categories ? Applications of Logic to the analysis and implementation of Natural Language, pp.199-208, 1996.

P. De-groote, Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, 2001.
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529

P. De-groote, « Towards a Montagovian account of dynamics, Proceedings of Semantics and Linguistic Theory (SALT) 16, 2006.

B. Guillaume, G. Perrier, and . Interaction-grammars, Interaction Grammars, Research on Language and Computation, vol.18, issue.4, pp.171-208, 2009.
DOI : 10.1007/s11168-010-9066-x
URL : https://hal.archives-ouvertes.fr/inria-00288376

K. Hale and «. On, Argument Structure and the Lexical Expression of Syntactic Relations », The View from Building 20, 1993.

H. Harkema, A Characterization of Minimalist Languages, Logical Aspects of Computational Linguistics, pp.193-211, 2001.
DOI : 10.1007/3-540-48199-0_12

A. Joshi and Y. Schabes, Adjoining Grammars Handbook of Formal Languages, pp.69-123, 1997.

R. M. Kaplan and J. Bresnan, « Lexical-Functional Grammar : A Formal System for Grammatical Representation The Mental Representation of Grammatical Relations, pp.173-281, 1982.

G. M. Kobele, Generating Copies : An investigation into structural identity in language and grammar, 2006.

J. Lambek, « The Mathematics of sentence structures », American mathematical monthly, 1958.

J. Lambek, Type Grammar Revisited, Logical Aspects of Computational Linguistics, pp.1-27, 1999.
DOI : 10.1007/3-540-48975-4_1

A. Lecomte, « Semantics in Minimalist-Categorial Grammars », Formal Grammar, 2008.

A. Lecomte and C. Retoré, Extending Lambek grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.354-361, 2001.
DOI : 10.3115/1073012.1073059

J. Michaelis, Derivational Minimalism Is Mildly Context???Sensitive, Logical Aspects of Computational Linguistics, pp.179-198, 2001.
DOI : 10.1007/3-540-45738-0_11

J. Michaelis, Additional Observation on Strict Derivational Minimalism, Proceedings of FG-MoL 2005. The 10th conference on Formal Grammar and The 9th Meeting on Mathematics of Language, pp.101-111, 2009.

M. Moortgat, Categorial Type Logics, Handbook of Logic and Language, pp.93-178, 1997.

R. Moot, Automated Extraction of Type-Logical Supertags from the Spoken Dutch Corpus, Complexity of Lexical Descriptions and its Relevance to Natural Language Processing : A Supertagging Approach, 2010.

G. Morrill, « Type Logical Grammar », Categorial Logic of Signs, 1994.

C. Retoré, A description of the non-sequential execution of Petri nets in partially commutative linear logic, Logic Colloquium 99, pp.152-181, 2004.
DOI : 10.1017/9781316755921.013

P. Ruet and F. Fages, Concurrent constraint programming and non-commutative logic, Computer Science Logic, pp.406-423, 1998.
DOI : 10.1007/BFb0028028

I. A. Sag and C. J. Pollard, Head-Driven Phrase Structure Grammar : An Informal Synopsis, CSLI Report n o 87-79, 1987.

E. Stabler and H. Movement, Recognizing Head Movement, Logical Aspects of Computational Linguistics, pp.245-260, 2001.
DOI : 10.1007/3-540-48199-0_15

M. Steedman, Combinatory grammars and parasitic gaps », Natural Language and Linguistic Theory 5, 1987.

L. S. Zettlemoyer and M. Collins, Learning context-dependent mappings from sentences to logical form, Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP: Volume 2, ACL-IJCNLP '09, pp.976-984, 2009.
DOI : 10.3115/1690219.1690283