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

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

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science, 2004.
DOI : 10.1007/978-3-662-07964-5
URL : https://hal.archives-ouvertes.fr/hal-00344237

L. Cardelli, S. Martini, J. C. Mitchell, and A. Scedrov, An Extension of System F with Subtyping, Information and Computation, vol.109, issue.1-2, pp.4-56, 1994.
DOI : 10.1006/inco.1994.1013

T. Coquand and G. P. Huet, The calculus of constructions. Information and Computation, pp.95-120, 1988.
URL : https://hal.archives-ouvertes.fr/inria-00076024

D. A. Cruse, Lexical semantics. Cambridge textbooks in linguistics, 1986.

J. Girard, Une extension de l'interprétation de Gödel à l'analyse et son application: l'élimination des coupures dans l'analyse et la théorie des types, Proceedings of the Second Scandinavian Logic Symposium of Studies in Logic and the Foundations of Mathematics, pp.63-92, 1971.

J. Girard, Le point aveugle Cours de logique. 1: Vers la perfection. 1. Paris: Hermann, Éditeurs des Sciences et des Arts, 2006.

J. Girard, Y. Lafont, and P. Taylor, Proofs and Types. Number 7 in Cambridge Tracts in Theoretical Computer Science, 1988.

Z. Luo, Contextual Analysis of Word Meanings in Type-Theoretical Semantics, Lecture Notes in Computer Science, vol.6736, pp.159-174, 2011.
DOI : 10.1007/978-3-642-22221-4_11

P. Martin-löf, Intuitionistic Type Theory, 1984.

B. Mery, Modélisation de la sémantique lexicale dans le cadre de la théorie des types, 2011.

R. Moot, L. Prévot, and C. Retoré, A discursive analysis of itineraries in an historical and regional corpus of travels, Constraints in discourse, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00607691

R. Moot, L. Prévot, and C. Retoré, Un calcul de termes typés pour la pragmatique lexicale, Traitement Automatique du Langage Naturel, pp.161-166, 2011.

J. Pustejovsky, The generative lexicon. M.I, 1995.