Les nouvelles syntaxes, 1993. ,
Com- putational semantics for natural language, 2003. ,
Predicate logic unplugged, Proceedings of the Tenth Amsterdam Colloquium, 1995. ,
The linear logic primer, 1992. ,
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
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
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. ,
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. ,
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
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
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. ,
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. ,
The Proper Treatment of Quantification in Ordinary English, chapter 1, 1974. ,
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
Formal Semantics: The Essential Readings, 2002. ,
DOI : 10.1002/9780470758335
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