A. Abeillé, L. Clément, and F. Toussenel, Building a Treebank for French, 2003.
DOI : 10.1007/978-94-010-0201-1_10

N. Asher, Lexical Meaning in context ? a web of words, 2011.

C. Bassac, B. Mery, R. , and C. , 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

J. Busquets, L. Vieu, and N. Asher, 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.

W. B. Ewald, From Kant to Hilbert. A Source Book in the foundations of Mathematics, 1996.

J. Girard, 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.

D. Hilbert, 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

W. A. Howard, The formulae-as-types notion of construction, To H.B. Curry : Essays on Combinatory Logic, ? -calculus and Formalism, pp.479-490, 1980.

H. Kamp and U. Reyle, From Discourse to Logic, 1993.

E. Kien, Du sens des mots à l'analyse automatique d'une phrase. Mémoire de stage d'initiation à la recherche, 2010.

A. Lefeuvre, R. Moot, C. Retoré, and N. Sandillon-rezer, Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle, TALN'2012

Z. Luo, 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

V. Magri-mourgues, Le voyage à pas comptés, 2009.

R. Montague, The Proper Treatment of Quantification in Ordinary English, chapter 1, 1974.

R. Moot, Grail : An automated proof assistant for categorial grammar logics, Proceedings of the 1998 User Interfaces for Theorem Provers Conference, pp.120-129, 1998.

R. Moot, 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

R. Moot and C. Retoré, Second order lambda calculus for meaning assembly : on the logical syntax of plurals, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00650644

A. Pasquali, Le Tour des horizons : critique et récit de voyage, Klincksieck, 1994.

J. Pustejovsky, Lexicon, Generative, 1995.
DOI : 10.1016/B0-08-044854-2/01971-4

C. Retoré, Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles, Technique et Science Informatiques, pp.301-336, 2000.

C. Retoré, 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

H. J. Verkuyl, 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.