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

M. Amblard and C. Retoré, Natural deduction and normalization for partially commutative linear logic and Lambek calculus with product. Computation and Logic in the Real World, 2007.

H. Anoun and A. Lecomte, Linear grammars with labels, Proceedings of Formal Grammar 06, 2006.
URL : https://hal.archives-ouvertes.fr/halshs-00122665

M. Baker, Thematic Roles and Syntactic Structure, Elements of Grammar, Handbook of Generative Syntax, pp.73-137, 1997.
DOI : 10.1007/978-94-011-5420-8_2

P. Curien and H. Herbelin, Duality of computation, Proceedings of the Fifth AGM SIGPLAN, pp.233-243, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00156377

D. Davidson, The Logical Form of Action Sentences, Essays on Actions and Events, 1966.
DOI : 10.1093/0199246270.003.0006

P. De-groote, Partially commutative linear logic: sequent calculus and phase semantics, Proofs and Linguistic Categories, pp.199-208, 1996.

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

P. De-groote, Type raising, continuations, and classical logic, Proceedings ot the 13th Amsterdam Colloquium: Language and Computation. References, pp.97-101, 2001.

P. De-groote, Towards a Montagovian Account of Dynamics, Proceedings of Semantics and Linguistic Theory XVI, 2007.

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

H. Herbelin, Au coeur de la dualité, 2005.

A. Kratzer, External arguments, Functional Projections, 1994.

J. Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058

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

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

M. Moortgat, Categorial type logics, pp.93-178, 1997.
DOI : 10.1016/b978-0-444-53726-3.00002-5

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

R. Muskens, Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, pp.143-186, 1996.
DOI : 10.1007/BF00635836

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

M. Parigot, ?µ-calculus: an algorithmic interpretation of classical natural deduction, Proceedings of the International Conference on Logic Programming and Automated Reasoning, 1992.

C. Pollard, Convergent Grammars, 2007.

C. Pollard, Covert Movement in Logical Grammar, ESSLLI Workshop on Ludics, Symmetric calculi and Continuations, 2008.
DOI : 10.1007/BFb0031928

A. Ranta, Type Theoretical Grammar, 1994.

E. Stabler, Derivational minimalism, Logical Aspects of Computational Linguistics, pp.68-95, 1997.
DOI : 10.1007/BFb0052152
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.3127

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

J. Van-benthem and A. Ter-meulen, Handbook of Logic and Language, 1997.

J. Van-eijck, Context and The Composition Of Meaning, Computing Meaning, vol.3, pp.173-193, 2007.
DOI : 10.1007/978-1-4020-5958-2_8

Z. Vendler, Verbs and Times, Linguistics in Philosophy, 1967.
DOI : 10.2307/2182371

C. F. Vermeulen, Merging without mystery or: Variables in dynamics semantics, Journal of Philosophical Logic, vol.12, issue.4, pp.405-450, 1993.
DOI : 10.1007/BF01048354

H. Zeevat, Aspects of Discourse Representation Theory and Unification Grammar, 1991.