Lexical Meaning in Context: A Web of Words, 2011. ,
Dependent Type Semantics: An Introduction, Logic and Interactive RAtionality (LIRa) Yearbook 2012, vol.I, pp.277-300, 2014. ,
Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems, Journal of Language Modelling, 2017. ,
Natural language inference in coq, J. of Logic, Lang. and Inf, vol.23, issue.4, pp.441-480, 2014. ,
Copredication, dynamic generalized quantification and lexical innovation by coercion, Fourth International Workshop on Generative Approaches to the Lexicon, 2007. ,
, Lexical Semantics, 1986.
Preference semantics, ill-formedness, and metaphor, Comput. Linguist, vol.9, issue.3-4, pp.178-187, 1983. ,
Making people play for Lexical Acquisition with the JeuxDeMots prototype, SNLP'07: 7th International Symposium on Natural Language Processing. p. 7, 2007. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00200883
JeuxDeMots : un prototype ludique pour l'´ emergence de relations entre termes, JADT'08 : Journées internationales d'Analyse statistiques des Données Textuelles, pp.657-666, 2008. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00358848
Contextual analysis of word meanings in type-theoretical semantics, LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics, 2011. ,
, Challenges in the Computational Implementation of Montagovian Lexical Semantics, pp.90-107, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01559219
Computing the Semantics of Plurals and Massive Entities using Many-Sorted Types, New Frontiers in Artificial Intelligence JSAI-isAI, vol.9067, p.357, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01098748
Are books events ? Ontological Inclusions as Coercive SubTyping, Lexical Transfers as Entailment, LENLS '12, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01311120
Wordnet: A lexical database for english, Commun. ACM, vol.38, issue.11, pp.39-41, 1995. ,
The grail theorem prover: Type theory for syntax and semantics, Modern Perspectives in Type-Theoretical Semantics, pp.247-277, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01471644
A preferential constraint satisfaction technique for natural language analysis, IEICE TRANSACTIONS on Information and Systems, vol.77, issue.2, pp.161-170, 1994. ,
The Generative Lexicon, 1995. ,
The Montagovian Generative Lexicon Lambda Tyn: a Type Theoretical Framework for Natural Language Semantics, 19th International Conference on Types for Proofs and Programs (TYPES 2013, vol.26, pp.202-229, 2014. ,