Building a Treebank for French, 2003. ,
DOI : 10.1007/978-94-010-0201-1_10
Lexical Meaning in context ? a web of words, 2011. ,
Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic, Language and Information, vol.12, issue.2, pp.229-245, 2010. ,
DOI : 10.1007/s10849-009-9113-x
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. ,
From Kant to Hilbert. A Source Book in the foundations of Mathematics, 1996. ,
Une extension de l'interprétation de Gödel à l'analyse et son application : l'élimination des coupures dans l'analyse et la théorie des types, Proceedings of the Second Scandinavian Logic Symposium, volume 63 of Studies in Logic and the Foundations of Mathematics, pp.63-92, 1971. ,
Die logischen Grundlagen der Mathematik, Mathematische Annalen, vol.88, issue.1-2, pp.151-165, 1922. ,
DOI : 10.1007/BF01448445
URL : http://www.digizeitschriften.de/download/PPN235181684_0088/PPN235181684_0088___log11.pdf
The formulae-as-types notion of construction, To H.B. Curry : Essays on Combinatory Logic, ? -calculus and Formalism, pp.479-490, 1980. ,
From Discourse to Logic, 1993. ,
Du sens des mots à l'analyse automatique d'une phrase. Mémoire de stage d'initiation à la recherche, 2010. ,
Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle, TALN'2012 ,
Contextual Analysis of Word Meanings in Type-Theoretical Semantics, Lecture Notes in Computer Science, vol.6736, pp.159-174, 2011. ,
DOI : 10.1007/978-3-642-22221-4_11
Le voyage à pas comptés, 2009. ,
The Proper Treatment of Quantification in Ordinary English, chapter 1, 1974. ,
Grail : An automated proof assistant for categorial grammar logics, Proceedings of the 1998 User Interfaces for Theorem Provers Conference, pp.120-129, 1998. ,
Wide-coverage French syntax and semantics using Grail, Proceedings of Traitement Automatique des Langues Naturelles (TALN), 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00494064
Second order lambda calculus for meaning assembly : on the logical syntax of plurals, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00650644
Le Tour des horizons : critique et récit de voyage, Klincksieck, 1994. ,
Lexicon, Generative, 1995. ,
DOI : 10.1016/B0-08-044854-2/01971-4
Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles, Technique et Science Informatiques, pp.301-336, 2000. ,
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most, Recherches linguistiques de Vincennes, pp.1-18, 2012. ,
DOI : 10.4000/rlv.2082
Binary Tense. CSLI Publications. Notes 1 http ://www.lepoint.fr/actualites-societe/2010-05-24/ solidarite-le-lundi-de-pentecote-ne-fait-pas-recette, 2008. ,