Lexical Meaning in Context: A Web of Words, 2011. ,
A type composition logic for generative lexicon, Journal of Cognitive Science, vol.7, issue.1, pp.1-38, 2006. ,
Some syntactic and categorical constructions of lambda-calculus models, INRIA, 1981. ,
URL : https://hal.archives-ouvertes.fr/inria-00076481
A First Language: The Early Stages, 1973. ,
On the interpretation of common nouns: Types versus predicates, Modern Perspectives in Type-Theoretical Semantics, vol.98, pp.43-70, 2017. ,
Some methodological remarks on generative grammar, vol.17, pp.219-239, 1961. ,
A formulation of the simple theory of types, The Journal of Symbolic Logic, vol.5, issue.2, pp.56-68, 1940. ,
Prototype theory, Linguistics, vol.27, issue.4, pp.587-612, 1989. ,
Topoi: The Categorial Analysis of Logic, Studies in logic and the foundations of mathematics, vol.98, 1979. ,
Some semantic relations in natural language, Proceedings of the Conference on Computer-related Semantic Analysis. pp. VII/1-23, 1966. ,
Reference, kinds and predicates, The Logical Foundations of Cognition, Vancouver Studies in Cognitive Science, vol.4, pp.91-143, 1994. ,
Type-theoretical semantics with coercive subtyping, Proceedings of SALT 20, pp.38-56, 2010. ,
, WordNet: An Electronic Lexical Database, pp.23-46, 1998.
The proper treatment of quantification in ordinary english, Approaches to Natural Language, pp.221-242, 1973. ,
The semantics of lexical underspecification, Folia Linguistica, vol.32, issue.3-4, pp.323-348, 1998. ,
The montagovian generative lexicon ?T yn: a type theoretical framework for natural language semantics, Proceedings of the 19 th International Conference on Types for Proofs and Programs. LIPICS, vol.26, pp.202-229, 2014. ,
, Natural categories, vol.4, pp.328-350, 1973.
Logical semantics and commonsense knowledge: Where did we go wrong, and how to go forward, 2018. ,
Categorical semantics for higher order polymorphic lambda calculus, The Journal of Symbolic Logic, vol.52, issue.4, pp.969-989, 1987. ,
The ordinary language tree, Mind, vol.68, issue.2, pp.160-185, 1959. ,
Type and ontology, The Philosophical Review, vol.72, issue.3, pp.327-363, 1963. ,
, Structural ontology. Philosophia, vol.1, pp.21-42, 1971.
The ordinary language lattice, Mind, vol.81, issue.3, pp.434-436, 1972. ,
The construction of ontological categories, Australasian Journal of Philosophy, vol.82, issue.4, pp.595-620, 2004. ,
, Philosophical Investigations, 1953.