A. Abeillé, Les nouvelles syntaxes, 1993.

P. Blackburn and J. Bos, Com- putational semantics for natural language, 2003.

J. Bos, Predicate logic unplugged, Proceedings of the Tenth Amsterdam Colloquium, 1995.

V. Danos, R. D. , and C. , The linear logic primer, 1992.

P. De, G. , and S. Pogodalla, mlinear context-free rewriting systems as abstract categorial grammars, MOL 8, proceedings of the eighth Mathematics of Language Conference, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00107690

P. De and G. , Towards abstract categorial grammars, Association for Computational Linguistics , 39th Annual Meeting and 10th Conference of the European Chapter Proceedings of the Conference, pp.148-155, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100529

P. De and G. , Tree-adjoining grammars as abstract categorial grammars, TAG+6, Proceedings of the sixth International Workshop on Tree Adjoining Grammars and Related Frameworks, pp.145-150, 2002.

A. Frank and J. Van-genabith, Glue tag: Linear logic based semantics construction for ltag -and what it teaches us about the relation between lfg and ltag, Proceedings of the LFG '01 Conference, Online Proceedings. CSLI Publications, 2001.

C. Gardent and L. Kallmeyer, Semantic construction in feature-based TAG, Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics , EACL '03, 2003.
DOI : 10.3115/1067807.1067825

URL : https://hal.archives-ouvertes.fr/inria-00107643

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

K. Aravind, L. Joshi, M. Kallmeyer, and . Romero, Flexible composition in ltag: Quantifier scope and inverse linking, Harry Bunt, Ielka van der Sluis, and Roser Morante Proceedings of the Fifth International Workshop on Computational Semantics IWCS-5, 2003.

L. Kallmeyer, Using an enriched tag derivation structure as basis for semantics, Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+6), 2002.

R. Montague, The Proper Treatment of Quantification in Ordinary English, chapter 1, 1974.

S. Pogodalla, Using and extending ACG technology: Endowing categorial grammars with an underspecified semantic representation, Proceedings of Categorial Grammars, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00108117

P. Portner and B. H. Partee, Formal Semantics: The Essential Readings, 2002.
DOI : 10.1002/9780470758335

Y. Schabes and S. M. Shieber, An alternative conception of tree-adjoining derivation, Proceedings of the 30th annual meeting on Association for Computational Linguistics -, pp.91-124, 1994.
DOI : 10.3115/981967.981989