N. Asher and . Bassac, Lexical Meaning in Context: a Web of Words Towards a Type-Theoretical Account of Lexical Semantics, Journal of Language, Logic, and Information, vol.19, issue.2, 2010.
DOI : 10.1017/CBO9780511793936

V. Egli, . Heusinger, U. Egli, and K. Von-heusinger, The epsilon operator and e-types pronouns. Lexical Knowledge in the Organization of Language, pp.121-141, 1995.

G. Link and Z. Luo, The logical analysis of plurals and mass terms: A lattice-theoretic approach Common nouns as types, Formal Semantics -the Essential Readings Logical Aspects of Computational Linguistics, pp.127-147, 1983.

. Luo, Coercive subtyping: Theory and implementation, Information and Computation, vol.223, pp.18-42, 2013.
DOI : 10.1016/j.ic.2012.10.020
URL : https://hal.archives-ouvertes.fr/hal-01130574

B. Mery, Modélisation de la Sémantique Lexicale dans le cadre de la Théorie des Types, 2011.

. Mery, Plurals: individuals and sets in a richly typed semantics, LENSL'10 -10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI -2013, pp.143-156, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00923556

. Mery, Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types, To appear in the selected proceedings of LENLS 11, Lecture Notes in Computer Science, 2015.
DOI : 10.1007/978-3-662-48119-6_11
URL : https://hal.archives-ouvertes.fr/hal-01098748

R. Moot and J. Pustejovsky, Wide-coverage French syntax and semantics using Grail The Generative Lexicon, Proceedings of Traitement Automatique des Langues Naturelles (TALN), 1995.

C. Retoré, The Montagovian Generative Lexicon Lambda Ty n : a Type Theoretical Framework for Natural Language Semantics, 19th International Conference on Types for Proofs and Programs of Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.202-229, 2013.

C. Retoré, Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases, Formal Grammar 2014, 2014.
DOI : 10.1007/978-3-662-44121-3_2

H. Heusinger and K. , Choice Functions and the Anaphoric Semantics of Definite NPs, Research on Language and Computation, pp.309-329, 2004.
DOI : 10.1007/s11168-004-0904-6