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

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

N. Asher and J. Pustejovsky, The metaphysics of words in contexts, 2000.

C. Bassac, B. Mery, and C. Retoré, Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic, Language and Information, vol.12, issue.2, pp.229-245, 2010.
DOI : 10.1007/s10849-009-9113-x

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

D. Bekki and N. Asher, Logical Polysemy and Subtyping, JSAI-isAI Workshops, pp.17-24, 2012.
DOI : 10.1007/978-3-642-39931-2_2

S. Chatzikyriakidis and Z. Luo, An Account of Natural Language Coordination in Type Theory with Coercive Subtyping, Constraint Solving and Language Processing, 2012.
DOI : 10.1007/978-3-642-41578-4_3

R. Cooper, Copredication, Quantification and Frames, Pogodalla and Prost [21], pp.64-79
DOI : 10.1007/978-3-642-22221-4_5

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

M. Krifka, How to get rid of groups, using DRT, Texas Linguistic Forum, pp.71-110, 1991.

Y. Lafont, Soft linear logic and polynomial time, Theoretical Computer Science, vol.318, issue.1-2, pp.163-180, 2004.
DOI : 10.1016/j.tcs.2003.10.018

URL : http://doi.org/10.1016/j.tcs.2003.10.018

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

J. T. Lønning, Plurals and Collectivity, Handbook of Logic and Language, pp.1009-1053, 1997.
DOI : 10.1016/B978-044481714-3/50023-0

Z. Luo, Contextual Analysis of Word Meanings in Type-Theoretical Semantics, Pogodalla and Prost, pp.159-174
DOI : 10.1007/978-3-642-22221-4_11

Z. Luo, Common Nouns as Types, Lecture Notes in Computer Science, vol.7351, pp.173-185, 2012.
DOI : 10.1007/978-3-642-31262-5_12

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

R. Moot, Wide-coverage French syntax and semantics using Grail, Proceedings of Traitement Automatique des Langues Naturelles (TALN), 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é, Un calcul de termes typés pour la pragmatique lexicale ? chemins et voyageurs fictifs dans un corpus de récits de voyages, Traitement Automatique du Langage Naturel, pp.161-166, 2011.

R. Moot and C. Retoré, The logic of categorial grammars: a deductive account of natural language syntax and semantics, LNCS, vol.6850, pp.978-981, 2012.
DOI : 10.1007/978-3-642-31555-8

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

B. Partee, Noun phrase interpretation and type shifting principles, Formal Semantics: The Essential Readings, pp.357-381, 2008.

C. Livy-maria-real-coelho and . Retoré, On the semantics of deverbals in a richly typed system, Journal of Logic Language and Information, 2013.

C. Retoré, Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most, Recherches linguistiques de Vincennes, vol.41, issue.41, pp.83-102, 2012.
DOI : 10.4000/rlv.2082

C. Retoré, Sémantique des déterminants dans un cadre richement typé, Traitement Automatique du Langage Naturel, pp.367-380, 2013.

R. Scha, Distributive, Collective and Cumulative Quantification, Formal methods in the study of language, 1981.
DOI : 10.1515/9783110867602.131

J. Van-benthem, Language in action, Journal of Philosophical Logic, vol.7, issue.3, 1991.
DOI : 10.1007/BF00250539