Lexical Meaning in Context: A Web of Words, 2011. ,
DOI : 10.1017/CBO9780511793936
Dependent Type Semantics: An Introduction, Logic and Interactive RAtionality (LIRa) Yearbook 2012, pp.277-300, 2014. ,
Logical Polysemy and Subtyping, Lecture Notes in Computer Science, vol.7856, pp.17-24, 2012. ,
DOI : 10.1007/978-3-642-39931-2_2
Wördliche Bedeutung -eine pragmatische Gretchenfrag, Sprechakttheorie und Semantik, pp.119-148, 1979. ,
The bermuda triangle: Natural language semantics between linguistics, knowledge representation, and knowledge processing In: Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project, pp.243-258, 1991. ,
Are Widows Always Wicked? Learning concepts through enthymematic reasoning, ESSLLI proceedings of the TYTLES workshop on TYpe Theory and LExical Semantics, 2015. ,
Natural Language Inference in Coq, Journal of Logic, Language and Information, vol.79, issue.1, pp.441-480, 2014. ,
DOI : 10.1007/978-3-642-31262-5_17
Copredication, dynamic generalized quantification and lexical innovation by coercion, Fourth International Workshop on Generative Approaches to the Lexicon, 2007. ,
DOI : 10.1007/978-3-642-22221-4_5
Lexical Semantics, 1986. ,
DOI : 10.1016/B0-08-043076-7/02990-9
A developed analysis of type coercion based on type theory and conventionality, ESSLLI proceedings of the TYTLES workshop on TYpe Theory and LExical Semantics, 2015. ,
Ambiguïtés lexicales et traitement automatique des langues : modélisation de la polysémie logique et application aux déverbaux d'action ambigus en français, 2001. ,
An Analysis of Selectional Restrictions with Dependent Type Semantics, Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), pp.100-113, 2016. ,
DOI : 10.1093/jos/12.2.109
The logical analysis of plurals and mass terms: A lattice-theoretic approach, Formal Semantics -the Essential Readings, pp.127-147, 1983. ,
Contextual Analysis of Word Meanings in Type-Theoretical Semantics, LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics, pp.159-174, 2011. ,
DOI : 10.1515/flin.1998.32.3-4.323
Common Nouns as Types, Logical Aspects of Computational Linguistics, pp.173-185, 2012. ,
DOI : 10.1007/978-3-642-31262-5_12
Modélisation de la Sémantique Lexicale dans le cadre de la Théorie des Types, 2011. ,
Lexical Semantics with Linear Types, NLCS '15, the Third Workshop on Natural Language and Computer Science, 2015. ,
DOI : 10.29007/16s8
URL : https://hal.archives-ouvertes.fr/hal-01214442
Lessons from a Prototype Implementation of Montagovian Lexical Semantics, Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), pp.73-85, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01472615
Computing the Semantics of Plurals and Massive Entities using Many-Sorted Types New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, Lecture Notes in Artificial Intelligence, vol.9067, p.357, 2014. ,
Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases, Epsilon 2015 ? Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01214439
Are books events ? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment, LENLS '12, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01311120
Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics ,
DOI : 10.1515/9783110261325.158
URL : https://hal.archives-ouvertes.fr/hal-01471256
Wide-coverage French syntax and semantics using Grail, Proceedings of Traitement Automatique des Langues Naturelles (TALN). Montreal, 2010. ,
DOI : 10.1007/978-3-319-50422-3_10
URL : https://hal.archives-ouvertes.fr/inria-00494064
A discursive analysis of itineraries in an historical and regional corpus of travels In: Constraints in discourse, 2011. ,
How Do Words Get Their Meanings?, The Journal of Philosophy, vol.78, issue.1, 1982. ,
DOI : 10.2307/2025394
Meaning and Partiality, Studies in Logic, Langage and Information. CSLI, 1996. ,
Lexicon, Generative, 1995. ,
DOI : 10.1016/B0-08-044854-2/01971-4
A generative montagovian lexicon for polysemous deverbal nouns, 4th World Congress and School on Universal Logic ? Workshop on Logic and Linguistics. Rio de Janeiro, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00760380
Sémantique des déterminants dans un cadre richement typé, 2013. ,
The Montagovian Generative Lexicon Lambda TYn: a Type Theoretical Framework for Natural Language Semantics, 19th International Conference on Types for Proofs and Programs Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.202-2294633, 2013. ,
On denoting, pp.479-493, 1905. ,