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

E. Stabler, Derivational minimalism, Logical Aspect of Computational Linguistic, vol.1328, 1997.
DOI : 10.1007/BFb0052152
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.3127

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

R. Muskens, Language, Lambdas, and Logic, Resource Sensitivity in Binding and Anaphora. Studies in Linguistics and Philosophy. Kluwer, pp.23-54, 2003.
DOI : 10.1007/978-94-010-0037-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.82

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

L. Mansfield, S. Martin, C. Pollard, and C. Worth, Phenogrammatical labelling in convergent grammar: the case of wrap, 2009.

R. Berwick and S. Epstein, On the convergence of 'minimalist' syntax and categorial grammars, 1996.

C. Retoré and E. Stabler, Reseach on Language and Computation, 2004.

A. Lecomte, Rebuilding the minimalist program on a logical ground, Research on Language and Computation, vol.2, issue.1, pp.27-55, 2004.
DOI : 10.1023/A:1025431321623

T. Cornell, Lambek calculus for transformational grammars, Research on Language and Computation, vol.2, issue.1, pp.105-126, 2004.
DOI : 10.1023/A:1025435422532

A. Lecomte and C. Retoré, Towards a logic for minimalist, Formal Grammar, 1999.

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

A. Lecomte, Categorial grammar for minimalism. Language and Grammar : Studies in Mathematical Linguistics and Natural Language CSLI Lecture Notes, pp.163-188, 2005.
DOI : 10.1007/3-540-45738-0_9

M. Amblard, A. Lecomte, and C. Retoré, Syntax and semantics interacting in a minimalist theory. Prospect and advance in the Syntax, pp.17-22, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01079278

M. Amblard, A. Lecomte, and C. Retoré, Synchronization syntax semantic for a minimalism theory, Journée Sémantique et Modélisation, 2004.

G. P. Huet, The Zipper, Journal of Functional Programming, vol.7, issue.5, pp.549-554, 1997.
DOI : 10.1017/S0956796897002864

J. J. Levy and R. Cori, Algorithmes et Programmation Ecole Polytechnique 18. Chomsky, N.: Conditions on transformations, pp.232-286, 1973.

W. Vermaat, Controlling movement: Minimalism in a deductive perspective, 1999.

E. Stabler, Remnant movement and structural complexity, Constraints and Resources in Natural Language Syntax and Semantics, pp.299-326, 1999.

H. Koopman and A. Szabolcsi, A verbal Complex, 2000.

R. S. Kayne, Overt vs. Covert Movements, Syntax, vol.1, issue.2, pp.128-191, 1998.
DOI : 10.1111/1467-9612.00006

W. A. Howard, The formulae-as-types notion of construction, To H.B. Curry: Essays on Combinatory Logic, ?-calculus and Formalism, pp.479-490, 1980.

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.

M. Amblard and C. Retore, Natural deduction and normalisation for partially commutative linear logic and lambek calculus with product. Computation and Logic in the Real World, CiE, Quaderni del Dipartimento di Scienze Matematiche e Informatiche " Roberto Magari, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00409486

G. Kobele, Generating Copies: An Investigation into Structural Identity in Language and Grammar, 2006.