« A formulation of the simple theory of types », Journal of Symbolic Logic, vol.5, pp.56-68, 1940. ,
« Towards Abstract Categorial Grammars, 39th Annual Meeting and 10th Conference of the European Chapter, pp.148-155, 2001. ,
Unification Sens-Texte -Vers un modèle mathématique articulé de la langue », Habilitation à diriger des recherches, 2002. ,
Dependency Syntax : Theory and Practice, 1988. ,
Prospects and Advances in the Syntax/Semantics Interface, Lorraine-Saarland Workshop Series, pp.29-32, 2003. ,
« Synchronous Tree-Adjoining Grammars, CoLing'90, pp.1-6, 1990. ,
Logical Aspects of Computational Linguistics, LACL'96, Lecture Notes in Computer Science, vol.1328, pp.68-95, 1996. ,
« Using Description of Trees in a Tree Adjoining Grammar, Computational Linguistics, pp.481-517, 1992. ,