Building a treebank for french, 2003. ,
Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic Language and Information, vol.19, issue.2, pp.229-245, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00408308
La SDRT : Une approche de la cohérence du discours dans la tradition de la sémantique dynamique, Verbum, XXIII, issue.1, pp.73-101, 2001. ,
Categorial grammars determined from linguistic data by unification, Studia Logica, vol.49, pp.431-454, 1990. ,
Parsing the WSJ using CCG and log-linear models, Proceedings of the 42nd annual meeting of the ACL, pp.104-111, 2004. ,
Linguistically motivated large-scale nlp with c&c and boxer, Proceedings of the 45th Annual Meeting of the ACL, pp.33-36, 2007. ,
From Discourse to Logic, 1993. ,
Categorial type logics éditeurs : Handbook of Logic and Language, pp.93-177, 1997. ,
Un calcul de termes typés pour la pragmatique lexicale, Traitement Automatique du Langage Naturel, pp.161-166, 2011. ,
Second order lambda calculus for meaning assembly : on the logical syntax of plurals, 2011. ,
Annotation d'expressions temporelles et d'évènements en français, 2008. ,
Using tree tranducers for grammatical inference, Proceedings of Logical Aspects of Computational Linguistics 2011, pp.233-250, 2011. ,