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

L. Asher, N. Asher, and Z. Luo, Formalization of coercions in lexical semantics, Sinn und Bedeutung 17, pp.63-80, 2012.

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

. Bekki, . Asher, D. Bekki, N. Asher, and E. Breitholtz, Logical Polysemy and Subtyping, ESSLLI proceedings of the TYTLES workshop on TYpe Theory and LExical Semantics, pp.17-24, 2012.
DOI : 10.1007/978-3-642-39931-2_2

. Cardelli, An extension of System-F with subtyping, Information and Computation, pp.750-770, 1991.

. Chatzikyriakidis, Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi- Sorted Typed Systems, ESSLLI proceedings of the TY- TLES workshop on TYpe Theory and LExical Semantics, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01216589

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

D. A. Cruse, C. Goddard, and A. Wierzbicka, Lexical Semantics Semantic primes and cultural scripts in language learning and intercultural communication, Applied Cultural Linguistics: Implications for second language learning and intercultural communication, pp.105-124, 1986.

F. Lang, Sous-typage coercif (coercive sub-typing), 2014.

. Longo, Coherence and transitivity of subtyping as entailment, Journal of Logic and Computation, vol.10, issue.4, pp.493-526, 2000.
DOI : 10.1093/logcom/10.4.493

Z. Luo, Contextual Analysis of Word Meanings in Type-Theoretical Semantics, Logical Aspects of Computational Linguistics, pp.159-174, 2011.
DOI : 10.1007/978-3-642-22221-4_11

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

. 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

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

. Mery, . Retoré, B. Mery, and C. Retoré, Recent advances in the logical representation of lexical semantics, NCLS ? Workshop on Natural Language and Computer Science, 2013.

. Mery, . Retoré, B. Mery, and C. Retoré, Semantic Types, Lexical Sorts and Classifiers, NLPCS '10-10th International Workshop on Natural Language Processing and Computer Science -2013, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00916722

R. R. Montague, The proper treatment of quantification in ordinary English Wide-coverage French syntax and semantics using Grail, Formal Philosophy Proceedings of Traitement Automatique des Langues Naturelles (TALN), pp.188-221, 1974.

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

G. Nunberg, J. Pustejovsky, and C. Retoré, Transfers of meaning Association for Computational Linguistics The Generative Lexicon The Montagovian Generative Lexicon Lambda Ty n : a Type Theoretical Framework for Natural Language Semantics, Proceedings of the 31st annual meeting on Association for Computational Linguistics 19th International Conference on Types for Proofs and Programs, pp.191-192, 1993.