Abrusci, Vito Michele ; Retoré, Christian (2011). 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*.

Asher, Nicholas (2011). *Lexical Meaning in Context: A Web of Words.* Cambridge: Cambridge University Press.

Avigad, Jeremy; Zach, Richard (2008). The epsilon calculus. *The Stanford Encyclopedia of Philosophy (Fall 2008 Edition)*. CSLI.

Bale, Alan Clinton (2011). Scales and comparison classes. *Natural Language Semantics* 19/2: 169-190.

Bassac, Christian; Mery, Bruno; Retoré, Christian (2010). Towards a Type-Theoretical Account of Lexical Semantics. *Journal of Logic, Language and Information*19/2: 229-245.

Bertot, Yves; Castéran, Pierre (2004). *Interactive Theorem Proving and Program Development. Coq’ Art: The Calculus of Inductive Constructions.* Berlin and New York: Springer.

Cardelli, Luca; Martini, Simone; Mitchell, John; Scedrov, Andre (1994). An Extension of System F with Subtyping. *Information and Computation* 109/1–2:4-56.

Coquand, Thierry; Huet, Gérard (1988). The calculus of constructions.* Information and Computation* 76/2–3:95-120.

Conrad, Sarah-Jane (2011). How much context can a language bear? *International Conference and Thematic School “Meaning, Context and Implicit Content”*. Cerisy-La-Salle.* *

Egré, Paul; Klinedinst, Nathan (2011). *Vagueness and Language Use*. Palgrave Studies in Pragmatics, Language and Cognition. Palgrave Macmillan.

Girard, Jean-Yves (1971). 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. In Fenstad, J. E. (ed.) *Proceedings of the Second Scandinavian Logic Symposium*, volume 63 of Studies in Logic and the Foundations of Mathematics: 63-92. North Holland.

Girard, Jean-Yves; Lafont, Yves; Taylor, Paul (1988). *Proofs and Types.* Cambridge University Press.

Heusinger, Klaus von (2007). Alternative semantics for definite NPs. In Schwabe, K. & Winkler, S. (eds.) *On Information Structure, Meaning and Form*: 485–508. John Benjamins.

Hilbert, David (1922). Die logischen Grundlagen der Mathematik. *Mathematische Annalen* 88 :151-165.

Lecomte, Alain ; Quatrini, Myriam (2011). Figure of dialogues : a view from ludics. *Synthèse* 183/S1 : 59-85.

de Libera, Alain (1993). *La philosophie médiévale.* Presses Universitaires de France.

de Libera, Alain (1996). *La querelle des universaux – de Platon à la fin du Moyen-Âge.* Des travaux. Seuil.

Luo, Zhaohui (2011). Contextual analysis of word meanings in type-theoretical semantics. In Pogodalla, S. & Prost J.-Ph. (eds.) *Logical Aspects of Computational Linguistics*,* *LACL 2011, LNCS 7636: 159-174. Springer.

Mari, Alda (2011). *Quantificateurs polysémiques.* Mémoire d’habilitation à diriger des recherches. Université Paris IV.

Montague, Richard (1970). English as a formal language. In Visentini, B. (ed.) *Linguaggi nella società e nella tecnica* : 189-223. Milano : Edizioni di Comunità.

Moot, Richard ; Prévot, Laurent ; Retoré, Christian (2011). A discursive analysis of itineraries in an historical and regional corpus of travels: Syntax, semantics, and pragmatics in a unified type theoretical framework. *Contraints in Discourse 2011. *Agay-Roches-Rouges, France.

Moot, Richard; Retoré, Christian (2011). Second order lambda calculus for meaning assembly: on the logical syntax of plurals. *Conference on Computing Natural Reasoning (Coconat)* Tilburg.

Moot, Richard; Retoré, Christian (2012). *The Logic of Categorial Grammars: a Deductive Account of Natural Language Syntax and Semantics. vol. *6850 of LNCS, FoLLI subseries. Springer.

Muskens, Reinhard (1996). Combining Montague semantics and discourse representation. *Linguistics and philosophy *19: 143-186*. *

Nunberg, Geoffrey (1995). Transfers of meaning. *Journal of semantics *12/2:109-132.

Peters, Stanley; Westerstahl, Dag (2008). *Quantifiers in Logic and Language.* Oxford University Press.

Sevatopoulos, Julie (2012). “*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.html

Soloviev, Sergeï; Luo, Zhaohui (2000). Coercion completion and conservativity in coercive subtyping. *Information and Computation *113/1-3: 297-322.

Solt, Stephanie (2009). *The semantics of Adjectives of Quantity.* PhD thesis. City University of New York.

Szabolcsi, Anna (2010). *Quantification. *Cambridge: Cambridge University Press.