A. , V. Michele, 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.

A. , J. ;. Zach, and R. , The epsilon calculus. The Stanford Encyclopedia of Philosophy, 2008.

B. and A. Clinton, Scales and comparison classes, Natural Language Semantics, vol.19, issue.2, pp.169-190, 2011.

B. , C. ;. Mery, . Bruno, and C. Retoré, Towards a Type- Theoretical Account of Lexical Semantics, Journal of Logic, Language and Information, vol.19, issue.2, pp.229-245, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00408308

B. , Y. ;. Castéran, and P. , Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions, 2004.

C. , L. Simone, J. ;. Mitchell, and A. Scedrov, An Extension of System F with Subtyping, Information and Computation, vol.109, issue.12, pp.4-56, 1994.

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

E. , P. ;. Klinedinst, and N. , Vagueness and language use, Palgrave Studies in Pragmatics Language and Cognition, 2011.

L. , A. ;. Quatrini, and M. , Figure of dialogues: a view from ludics, Synthèse, vol.183, issue.S1, pp.59-85, 2011.

Z. Luo, Contextual Analysis of Word Meanings in Type-Theoretical Semantics, Logical Aspects of Computational Linguistics LACL 2011, pp.159-174, 2011.
DOI : 10.1007/978-3-642-22221-4_11

M. , R. ;. Prévot, . Laurent, and C. Retoré, A discursive analysis of itineraries in an historical and regional corpus of travels: syntax, semantics, and pragmatics in a unified type theoretical framework In Contraints in Discourse, 2011.

M. , R. ;. Retoré, and C. , The logic of categorial grammar, LNCS, vol.6850, 2011.

M. , R. ;. Retoré, and C. , Second order lambda calculus for meaning assembly: on the logical syntax of plurals, Conference on Computing Natural Reasoning (Coconat), 2011.

J. Sevatopoulos, ?Most / Most of the? referring to a quantity of an unspecific or specific group. Grammar quizzes. Practice on points of English grammar. http://www.grammar-quizzes.com/article4d, Coercion Completion and Conservativity in Coercive Subtyping. Information and Computation, pp.1-3297, 2000.

S. Solt, Q-Adjectives and the Semantics of Quantity, Journal of Semantics, vol.32, issue.2, 2009.
DOI : 10.1093/jos/fft018