N. Asher, A Type Driven Theory of Predication with Complex Types, Fundamenta Informaticae, vol.84, issue.2, pp.151-183, 2008.

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

P. N. Benton, G. M. Bierman, V. De-paiva, and M. Hyland, A term calculus for Intuitionistic Linear Logic, TLCA, pp.75-90, 1993.
DOI : 10.1007/BFb0037099

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

A. Copestake and T. Briscoe, Lexical operations in a unification-based framework, ACL SIGLEX Workshop on Lexical Semantics and Knowledge Representation, 1991.
DOI : 10.1007/3-540-55801-2_30

U. Egli and K. Von-heusinger, The epsilon operator and e-types pronouns. Lexical Knowledge in the Organization of Language, pp.121-141, 1995.

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

Z. Luo, Common Nouns as Types, pp.173-185
DOI : 10.1007/978-3-642-31262-5_12

B. Mery, Compositionality and the Lexicon (Lexique organisé pour la composition sémantique), Journées Sémantique et Modélisation, 2009.

B. Mery, C. Bassac, and C. Retoré, A montagovian generative lexicon, Formal Grammar, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00287340

B. Mery, C. Bassac, and C. Retoré, A montague-based model of generative lexical semantics, New Directions in Type Theoretic Grammars. ESSLLI, Foundation of Logic, Language and Information, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00287343

R. Montague, The proper treatment of quantification in ordinary English, Formal Philosophy, pp.188-221, 1974.

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

R. Moot and C. R. Retor?a©, Second order lambda calculus for meaning assembly: on the logical syntax of plurals, Coconat, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00650644

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, Type Construction and the Logic of Concepts, 2001.
DOI : 10.1017/CBO9780511896316.009

J. Pustejovsky, Lexicon, Generative, Computational Linguistics, vol.17, issue.4, pp.409-441, 1991.
DOI : 10.1016/B0-08-044854-2/01971-4

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

J. Pustejovsky and N. Asher, The Metaphysics of Words in Context. Objectual attitudes, Linguistics and Philosophy, vol.23, pp.141-183, 2000.

L. , P. Pr?a©vot, R. Moot, and C. R. Retor?a©, Un calcul de termes typ?A©styp? typ?A©s pour la pragmatique lexicale ? chemins et voyageurs fictifs dans un corpus de r ? A©cits de voyages, Traitement Automatique du Langage Naturel ? TALN 2011, pp.161-166, 2011.

L. Real-coelho and C. R. Retor?a©, 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é and C. , Le système F en logique linéaire, 1987.

K. Heusinger, Choice Functions and the Anaphoric Semantics of Definite NPs, Research on Language and Computation, pp.309-329, 2004.
DOI : 10.1007/s11168-004-0904-6

T. Xue and Z. Luo, Dot-types and Their Implementation, pp.234-249, 2012.
DOI : 10.1007/978-3-642-31262-5_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.7346