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

J. Girard, The blind spot ? lectures on logic, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01322183

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

Z. Luo, Common Nouns as Types, Lecture Notes in Computer Science, vol.7351, pp.173-185, 2012.
DOI : 10.1007/978-3-642-31262-5_12

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, LNCS, vol.6850, pp.978-981, 2012.
DOI : 10.1007/978-3-642-31555-8
URL : https://hal.archives-ouvertes.fr/hal-00829051

C. Retoré, Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most, Recherches linguistiques de Vincennes, vol.41, issue.41, pp.83-102, 2012.
DOI : 10.4000/rlv.2082

C. Retoré, Sémantique des déterminants dans un cadre richement typé, Traitement Automatique du Langage Naturel, pp.1-14, 2013.

S. Soloviev and D. Chemouil, Some Algebraic Structures in Lambda-Calculus with Inductive Types, Lecture Notes in Computer Science, vol.3085, pp.338-354, 2003.
DOI : 10.1007/978-3-540-24849-1_22
URL : https://hal.archives-ouvertes.fr/hal-00782718

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