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

B. Courcelle, Monadic second-order definable graph transductions: a survey, Theoretical Computer Science, vol.126, issue.1, pp.53-75, 1994.
DOI : 10.1016/0304-3975(94)90268-2

H. B. Curry, Some logical aspects of grammatical structure AMS Bookstore, 1961. [dG01] Philippe de Groote. Towards abstract categorial grammars Towards a montagovian account of dynamics, Structure of Language and Its Mathematical Aspects Proceedings 39th Annual Meeting and 10th Conference of the European Chapter Proceedings of Semantics in Linguistic Theory XVI, pp.56-68, 2001.

P. De-groote, B. Guillaume, and S. Salvati, Vector addition tree automata, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., pp.63-74, 2004.
DOI : 10.1109/LICS.2004.1319601

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

H. Gärtner and J. Michaelis, Locality conditions and the complexity of minimalist grammars: a preliminary survey, Theoretic Syntax (MTS@10), pp.89-100, 2007.

E. John, J. Hopcroft, and . Pansiot, On the reachability problem for 5-dimensional vector addition systems, Theoretical Computer Science, vol.8, issue.2, pp.135-159, 1979.

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

A. Lecomte, A computational approach to minimalism, Proceedings of ICON-2003, International Conference on Natural Language Central Institute of Indian Languages, pp.20-31, 2003.

A. Lecomte, Derivations as proofs : a logical approach to minimalism, Proceedings of CG 2004, 2004.

A. Lecomte and C. Retoré, Towards a minimal logic for minimalist grammars: a tranformational use of lambek calculus, Formal Grammar 99, 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

R. Muskens, Lambda Grammars and the Syntax-Semantics Interface, Proceedings of the Thirteenth Amsterdam Colloquium, pp.150-155, 2001.

K. Geoffrey, B. C. Pullum, and . Scholz, On the distinction between model-theoretic and generative-enumerative syntactic frameworks, Lecture Notes in Computer Science, vol.2099, pp.17-43, 2001.

S. Salvati, Encoding second order string acg with deterministic tree walking transducers, Proceedings FG 2006: the 11th conference on Formal Grammars, FG Online Proceedings, pp.143-156, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00333886

P. Edward and . Stabler, Remnant movement and structural complexity, Constraints and Resources in Natural Language, Studies in Logic, Language and Information, pp.299-326, 1999.

D. J. Weir, Linear context-free rewriting systems and deterministic tree-walking transducers, Proceedings of the 30th annual meeting on Association for Computational Linguistics -, pp.136-143, 1992.
DOI : 10.3115/981967.981985
URL : http://acl.ldc.upenn.edu/P/P92/P92-1018.pdf

R. Yoshinaka, Linearization of affine abstract categorial grammars, Proceedings of the 11th conference on Formal Grammar, 2006.