Glue for hpsg, Proceedings 8th Int. Conference on Head-Driven Phrase Structure Grammar, 2001. ,
Type-Logical Semantics, 1997. ,
Towards abstract categorial grammars, Proceedings of ACL, pp.148-155, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100529
Towards a motagovian account of dynamics, Proceedings of Semantics and Linguistic Theory XVI, 2006. ,
On the expressive power of abstract categorial grammars: Representing context-free formalisms, Journal of Logic, Language and Information, vol.13, issue.4, pp.421-438, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00112956
Glue tag: Linear logic based semantics construction for LTAG, Proceedings of the LFG '01 Conference , Online Proceedings. CSLI Publications, 2001. ,
Type Logical Grammar Categorial Logic of Signs, 1994. ,
Linguistic applications of first order intuitionistic linear logic, Journal of Logic, Language and Information, vol.10, issue.2, pp.211-232, 2001. ,
DOI : 10.1023/A:1008399708659
Computing semantic representation: Towards ACG abstract terms as derivation trees, Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), pp.64-71, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00107768
Problmes de filtrage et problmes d'analyse pour les grammaires catgorielles abstraites, 2005. ,
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear ??-Calculus, Proceedings of RTA 2006, 2006. ,
DOI : 10.1007/11805618_12
URL : https://hal.archives-ouvertes.fr/inria-00334006
Linearization of affine abstract categorial grammars, proceedings of Fromal Grammar, 2006. ,