N. Asher, Lexical Meaning in Context: A Web of Words, 2011.
DOI : 10.1017/CBO9780511793936

D. Bekki, Dependent Type Semantics: An Introduction, Logic and Interactive RAtionality (LIRa) Yearbook 2012, pp.277-300, 2014.

D. Bekki and N. Asher, Logical Polysemy and Subtyping, Lecture Notes in Computer Science, vol.7856, pp.17-24, 2012.
DOI : 10.1007/978-3-642-39931-2_2

M. Bierwisch, Wördliche Bedeutung -eine pragmatische Gretchenfrag, Sprechakttheorie und Semantik, pp.119-148, 1979.

P. Bosch, The bermuda triangle: Natural language semantics between linguistics, knowledge representation, and knowledge processing In: Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project, pp.243-258, 1991.

E. Breitholtz, Are Widows Always Wicked? Learning concepts through enthymematic reasoning, ESSLLI proceedings of the TYTLES workshop on TYpe Theory and LExical Semantics, 2015.

S. Chatzikyriakidis and Z. Luo, Natural Language Inference in Coq, Journal of Logic, Language and Information, vol.79, issue.1, pp.441-480, 2014.
DOI : 10.1007/978-3-642-31262-5_17

R. Cooper, Copredication, dynamic generalized quantification and lexical innovation by coercion, Fourth International Workshop on Generative Approaches to the Lexicon, 2007.
DOI : 10.1007/978-3-642-22221-4_5

D. A. Cruse, Lexical Semantics, 1986.
DOI : 10.1016/B0-08-043076-7/02990-9

S. Im and C. Lee, A developed analysis of type coercion based on type theory and conventionality, ESSLLI proceedings of the TYTLES workshop on TYpe Theory and LExical Semantics, 2015.

E. Jacquey, Ambiguïtés lexicales et traitement automatique des langues : modélisation de la polysémie logique et application aux déverbaux d'action ambigus en français, 2001.

E. Kinoshita, K. Mineshima, and D. Bekki, An Analysis of Selectional Restrictions with Dependent Type Semantics, Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), pp.100-113, 2016.
DOI : 10.1093/jos/12.2.109

G. Link, The logical analysis of plurals and mass terms: A lattice-theoretic approach, Formal Semantics -the Essential Readings, pp.127-147, 1983.

Z. Luo, Contextual Analysis of Word Meanings in Type-Theoretical Semantics, LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics, pp.159-174, 2011.
DOI : 10.1515/flin.1998.32.3-4.323

Z. Luo, Common Nouns as Types, Logical Aspects of Computational Linguistics, pp.173-185, 2012.
DOI : 10.1007/978-3-642-31262-5_12

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

B. Mery, Lexical Semantics with Linear Types, NLCS '15, the Third Workshop on Natural Language and Computer Science, 2015.
DOI : 10.29007/16s8

URL : https://hal.archives-ouvertes.fr/hal-01214442

B. Mery, Lessons from a Prototype Implementation of Montagovian Lexical Semantics, Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), pp.73-85, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01472615

B. Mery, R. Moot, and C. Retoré, Computing the Semantics of Plurals and Massive Entities using Many-Sorted Types New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, Lecture Notes in Artificial Intelligence, vol.9067, p.357, 2014.

B. Mery, R. Moot, and C. Retoré, Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases, Epsilon 2015 ? Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01214439

B. Mery and C. Retoré, Are books events ? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment, LENLS '12, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01311120

B. Mery and C. Retoré, Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics
DOI : 10.1515/9783110261325.158

URL : https://hal.archives-ouvertes.fr/hal-01471256

R. Moot, Wide-coverage French syntax and semantics using Grail, Proceedings of Traitement Automatique des Langues Naturelles (TALN). Montreal, 2010.
DOI : 10.1007/978-3-319-50422-3_10

URL : https://hal.archives-ouvertes.fr/inria-00494064

R. Moot, L. Prévot, and C. Retoré, A discursive analysis of itineraries in an historical and regional corpus of travels In: Constraints in discourse, 2011.

J. M. Moravcsik, How Do Words Get Their Meanings?, The Journal of Philosophy, vol.78, issue.1, 1982.
DOI : 10.2307/2025394

R. Muskens, Meaning and Partiality, Studies in Logic, Langage and Information. CSLI, 1996.

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

L. M. Real-coelho and C. Retoré, A generative montagovian lexicon for polysemous deverbal nouns, 4th World Congress and School on Universal Logic ? Workshop on Logic and Linguistics. Rio de Janeiro, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00760380

C. Retoré, Sémantique des déterminants dans un cadre richement typé, 2013.

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

B. Russell, On denoting, pp.479-493, 1905.