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

G. Asser, Theorie der logischen auswahlfunktionen. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1957.

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

J. T. Canty, Zbl0327.02013 : review of "on an extension of Hilbert's secondtheorem, 1975.

A. De-libera, La querelle des universaux de Platonà la fin du MoyenÂge. Des travaux, 1996.

U. Egli and K. Von-heusinger, The epsilon operator and E-type pronouns, Lexical Knowledge in the Organization of Language. Benjamins, pp.121-141, 1995.

G. Evans, Pronouns, quantifiers, and relative clauses (i), Canadian Journal of Philosophy, vol.7, issue.3, pp.467-536, 1977.

J. Y. 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, vol.63, pp.63-92, 1971.

J. Y. Girard, The blind spot -lectures on logic, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01322183

D. Hilbert and P. Bernays, Grundlagen der Mathematik. Bd. 2. Springer (1939) Traduction française de F. Gaillard, E. Guillaume et M. Guillaume, L'Harmattan, 2001.

W. Kneale and M. Kneale, The development of logic. 3 rd edn, 1986.

A. C. Leisenring, Mathematical logic and Hilbert's symbol. University Mathematical Series, 1967.

Z. Luo, Contextual analysis of word meanings in type-theoretical semantics, LNCS, vol.6736, pp.159-174, 2011.

Z. Luo, Common nouns as types, Lecture Notes in Computer Science, vol.7351, pp.173-185, 2012.

B. Mery, R. Moot, and C. Retoré, Plurals: individuals and sets in a richly typed semantics, Logic and Engineering of Natural Language Semantics, vol.10, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00923556

B. Mery and C. Retoré, Semantic types, lexical sorts and classifiers, 10th International Workshop on Natural Language Processing and Cognitive Science, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00916722

G. Mints, Zbl0381.03042: review of "cut elimination in a Gentzen-style -calculus without identity, Z. math Logik Grundl. Math, 1977.

G. Mints, Cut elimination for a simple formulation of epsilon calculus, Ann. Pure Appl. Logic, vol.152, issue.1-3, pp.148-160, 2008.

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é, The logic of categorial grammars: a deductive account of natural language syntax and semantics, LNCS, vol.6850, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00829051

G. Moser and R. Zach, The epsilon calculus and herbrand complexity, Studia Logica, vol.82, issue.1, pp.133-155, 2006.

L. Real and C. Retoré, Deverbal semantics and the Montagovian generative lexicon ?Ty n, Journal of Logic, Language and Information, pp.1-20, 2014.

C. Retoré, Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most, Recherches Linguistiques de Vincennes 41, pp.83-102, 2012.

C. ;. Retoré and . Acl-anthology, Sémantique des déterminants dans un cadre richement typé, Traitement Automatique du Langage Naturel, TALN RECITAL 2013, vol.1, pp.367-380, 2013.

B. Russell, On denoting, Mind, vol.56, issue.14, pp.479-493, 1905.

M. Steedman, Taking Scope: The Natural Semantics of Quantifiers, 2012.

K. Von-heusinger, Definite descriptions and choice functions, Logic, Language and Computation, pp.61-91, 1997.

K. Von-heusinger, Choice functions and the anaphoric semantics of definite nps, Research on Language and Computation, vol.2, pp.309-329, 2004.