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

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

L. Clément and K. Gerdes, Analyzing Zeugmas in XLFG, LFG 2006, 2006.

B. S. Gillon, Towards a common semantics for english count and mass nouns, Linguistics and Philosophy, vol.40, issue.6, pp.597-639, 1992.
DOI : 10.1007/BF00628112

J. Y. Girard, Interprétation fonctionnelle etéliminationetélimination des coupures de l'arithmétique d'ordre supérieur, Thèse de Doctorat d' ´ Etat, 1972.

P. Hendriks, Ellipsis and multimodal categorial type logic, Proceedings of Formal Grammar 1995, pp.107-122, 1995.

C. Kennedy, Vagueness and grammar: the semantics of relative and absolute gradable adjectives, Linguistics and Philosophy, vol.4, issue.4, pp.1-45, 2007.
DOI : 10.1007/s10988-006-9008-0

J. Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058

A. Lefeuvre, R. Moot, and C. Retoré, Traitement automatique d???un corpus de r??cits de voyages pyr??n??ens : Analyse syntaxique, s??mantique et pragmatique dans le cadre de la th??orie des types, Congrès mondial de linguistique française, 2012.
DOI : 10.1051/shsconf/20120100331

L. Xuping, On the semantics of classifiers in Chinese, 2011.

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, S. Soloviev, and T. Xue, 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.

B. Mery, R. Moot, and C. Retoré, Plurals: individuals and sets in a richly typed semantics10 -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.

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. Montague, The proper treatment of quantification in ordinary English, Formal Philosophy. Selected Papers of Richard Montague, 1974.

M. Moortgat, Categorial type logics, Handbook of Logic and Language, pp.95-179, 2011.

R. Moot, Wide-coverage French syntax and semantics using Grail, Proceedings of Traitement Automatique des Langues Naturelles (TALN), 2010.
URL : https://hal.archives-ouvertes.fr/inria-00494064

R. Moot and C. Retoré, The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics, Lecture Notes in Artificial Intelligence, vol.6850, 2012.
DOI : 10.1007/978-3-642-31555-8
URL : https://hal.archives-ouvertes.fr/hal-00829051

G. Morrill, Categorial Grammar: Logical Syntax, Semantics, and Processing, 2011.

G. Morrill, O. Valentín, and M. Fadda, The Displacement Calculus, Journal of Logic, Language and Information, vol.13, issue.2, pp.1-48, 2011.
DOI : 10.1007/s10849-010-9129-2

M. Morzycki, Metalinguistic comparison in an alternative semantics for imprecision, Natural Language Semantics, vol.28, issue.1, pp.39-86, 2011.
DOI : 10.1007/s11050-010-9063-5

R. Muskens, Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, pp.143-186, 1996.
DOI : 10.1007/BF00635836

D. Nicolas, Mass nouns and plural logic, Linguistics and Philosophy, vol.104, issue.3, pp.211-244, 2008.
DOI : 10.1007/s10988-008-9033-2
URL : https://hal.archives-ouvertes.fr/ijn_00130930

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

L. Prévot, R. Moot, 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 ? TALN 2011, pp.161-166, 2011.

A. Ranta, Type-theoretical Grammar. Indices (Claredon), 1994.

L. 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, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00760380

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), volume 26 of Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl? Leibniz-Zentrum fuer Informatik, pp.202-229, 2014.

S. Solt, Notes on the Comparison Class, Vagueness in Communication, pp.189-206, 2011.
DOI : 10.1007/978-3-642-18446-8_11

K. Benjamin, Language contact and linguistic innovation, New Terms for New Ideas. Western Knowledge and Lexical Change in Late Imperial China, pp.35-56, 2001.

J. Van, E. , and C. Unger, Computational Semantics with Functional Programming, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00535867