N. Asher, Lexical Meaning in Context: A Web of Words, 2011.

D. Bekki, Z. Christoff, P. Galeazzi, N. Gierasimczuk, and A. Marcoci, Dependent Type Semantics: An Introduction, Logic and Interactive RAtionality (LIRa) Yearbook 2012, vol.I, pp.277-300, 2014.

S. Chatzikyriakidis, M. Lafourcade, L. Ramadier, and M. Zarrouk, Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems, Journal of Language Modelling, 2017.

S. Chatzikyriakidis and Z. Luo, Natural language inference in coq, J. of Logic, Lang. and Inf, vol.23, issue.4, pp.441-480, 2014.

R. Cooper, Copredication, dynamic generalized quantification and lexical innovation by coercion, Fourth International Workshop on Generative Approaches to the Lexicon, 2007.

D. A. Cruse, Lexical Semantics, 1986.

D. Fass and Y. Wilks, Preference semantics, ill-formedness, and metaphor, Comput. Linguist, vol.9, issue.3-4, pp.178-187, 1983.

M. Lafourcade, Making people play for Lexical Acquisition with the JeuxDeMots prototype, SNLP'07: 7th International Symposium on Natural Language Processing. p. 7, 2007.
URL : https://hal.archives-ouvertes.fr/lirmm-00200883

M. Lafourcade and A. Joubert, JeuxDeMots : un prototype ludique pour l'´ emergence de relations entre termes, JADT'08 : Journées internationales d'Analyse statistiques des Données Textuelles, pp.657-666, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00358848

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, 2011.

B. Mery, S. Kurahashi, Y. Ohta, S. Arai, K. ;. Satoh et al., Challenges in the Computational Implementation of Montagovian Lexical Semantics, pp.90-107, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01559219

B. Mery, R. Moot, C. Retoré, L. Workshops, J. et al., Computing the Semantics of Plurals and Massive Entities using Many-Sorted Types, New Frontiers in Artificial Intelligence JSAI-isAI, vol.9067, p.357, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01098748

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

G. A. Miller, Wordnet: A lexical database for english, Commun. ACM, vol.38, issue.11, pp.39-41, 1995.

R. Moot, The grail theorem prover: Type theory for syntax and semantics, Modern Perspectives in Type-Theoretical Semantics, pp.247-277, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01471644

K. Nagao, A preferential constraint satisfaction technique for natural language analysis, IEICE TRANSACTIONS on Information and Systems, vol.77, issue.2, pp.161-170, 1994.

J. Pustejovsky, The Generative Lexicon, 1995.

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 (TYPES 2013, vol.26, pp.202-229, 2014.