S. Abramsky, Computational interpretations of linear logic, Theoretical Computer Science, vol.111, issue.1-2, pp.3-57, 1993.
DOI : 10.1016/0304-3975(93)90181-R

N. Asher and . Bassac, Lexical Meaning in Context: a Web of Words Towards a Type-Theoretical Account of Lexical Semantics, Journal of Language, Logic, and Information, vol.19, issue.2, 2010.
DOI : 10.1017/CBO9780511793936

. Bekki, . Asher, 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

. Benton, A term calculus for Intuitionistic Linear Logic, Proceedings of the International Conference on Typed Lambda Calculi and Applications , TLCA '93, pp.75-90, 1993.
DOI : 10.1007/BFb0037099

T. Braüner and R. Cooper, Introduction to Linear Logic Copredication, dynamic generalized quantification and lexical innovation by coercion, Fourth International Workshop on Generative Approaches to the Lexicon, 1996.

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

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

J. Girard, K. M. Gupta, and D. W. Aha, Linear logic, Third International Workshop on Generative Approaches to the Lexicon, 1995.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

. 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

B. Mery, Modélisation de la Sémantique Lexicale dans le cadre de la Théorie des Types, 2011.

. Mery, Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types, To appear in the selected proceedings of LENLS 11, Lecture Notes in Computer Science, 2015.
DOI : 10.1007/978-3-662-48119-6_11
URL : https://hal.archives-ouvertes.fr/hal-01098748

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

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

R. Muskens, Meaning and Partiality, Studies in Logic, Langage and Information. CSLI, 1996.

G. Nunberg, Transfers of meaning, Proceedings of the 31st annual meeting on Association for Computational Linguistics, pp.191-192, 1993.

J. Pustejovsky, J. Pustejovsky, J. Pustejovsky, and N. Asher, Feature Logic for Dotted Types: A Formalism for Complex Word Meanings The generative lexicon The Generative Lexicon The Metaphysics of Words in Context. Objectual attitudes, ACL 2000. [Pustejovsky, pp.409-441141, 1991.

C. Retoré, The Montagovian Generative Lexicon Lambda Ty n : a Type Theoretical Framework for Natural Language Semantics, 19th International Conference on Types for Proofs and Programs of Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.202-229, 2013.

C. Retoré, Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases, Formal Grammar 2014, 2014.
DOI : 10.1007/978-3-662-44121-3_2

L. Soloviev, S. Soloviev, and Z. Luo, Coercion completion and conservativity in coercive subtyping, Annals of Pure and Applied Logic, vol.113, issue.1-3, pp.1-3297, 2001.
DOI : 10.1016/S0168-0072(01)00063-X