V. M. Abrusci and C. Retoré, Quantification in ordinary language: from a critic of set-theoretic approaches to a proof-theoretic proposal, 14th Congress of Logic, Methodology and Philosophy of Sciences, 2011.

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

J. Avigad and R. Zach, The epsilon calculus, The Stanford Encyclopedia of Philosophy. Center for the Study of Language and Information, 2008.

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

S. Conrad, How much context can a language bear?, Cerisy Context Conference, 2011.

A. De and L. , La philosophie médiévale, Presses universitaires de France, 1993.

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

D. Hilbert, Die logischen Grundlagen der Mathematik, Mathematische Annalen, vol.88, issue.1-2, pp.151-165, 1922.
DOI : 10.1007/BF01448445
URL : http://www.digizeitschriften.de/download/PPN235181684_0088/PPN235181684_0088___log11.pdf

H. Klaus-von, Alternative semantics for definite nps, On Information Structure, Meaning and Form ? Generalizations across languages, pp.485-508, 2007.