B. Bmrbp-]-christian-bassac, C. Mery, and . Retoréretor´retoré, Towards a Type-Theoretical Account of Lexical Semantics Une extension de l'interprétationinterpr´interprétation de G ¨ odel l'analyse et son application : l' ´ elimination des coupures dans l'analyse et la théorieth´théorie des types InterprétationInterpr´Interprétation fonctionnelle etéliminationet´etélimination des coupures de l'arithmétiquearithm´arithmétique d'ordre supérieursup´supérieur Proofs and types, Proceedings Second Scandinavian Logic Symp, pp.63-92, 1971.

E. Jacquey, Ambigu¨?tésAmbigu¨?tAmbigu¨?t´Ambigu¨?tés lexicales et traitement automatique des langues : modélisationmod´modélisation de la polysémiepolys´polysémie logique et application aux d ´ everbaux d'action ambigus en français, 2001.

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

[. Mery, C. Bassac, and C. Retoréretor´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

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