Lexical Meaning in context ? a web of words, 2011. ,
Formalization of coercions in lexical semantics, Sinn und Bedeutung 17, pp.63-80, 2012. ,
The metaphysics of words in contexts, 2000. ,
Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic, Language and Information, vol.12, issue.2, pp.229-245, 2010. ,
DOI : 10.1007/s10849-009-9113-x
URL : https://hal.archives-ouvertes.fr/inria-00408308
Logical Polysemy and Subtyping, JSAI-isAI Workshops, pp.17-24, 2012. ,
DOI : 10.1007/978-3-642-39931-2_2
An Account of Natural Language Coordination in Type Theory with Coercive Subtyping, Constraint Solving and Language Processing, 2012. ,
DOI : 10.1007/978-3-642-41578-4_3
Copredication, Quantification and Frames, Pogodalla and Prost [21], pp.64-79 ,
DOI : 10.1007/978-3-642-22221-4_5
The blind spot ? lectures on logic, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01322183
How to get rid of groups, using DRT, Texas Linguistic Forum, pp.71-110, 1991. ,
Soft linear logic and polynomial time, Theoretical Computer Science, vol.318, issue.1-2, pp.163-180, 2004. ,
DOI : 10.1016/j.tcs.2003.10.018
URL : http://doi.org/10.1016/j.tcs.2003.10.018
The logical analysis of plurals and mass terms: A lattice-theoretic approach, Formal Semantics: the Essential Readings, 2002. ,
Plurals and Collectivity, Handbook of Logic and Language, pp.1009-1053, 1997. ,
DOI : 10.1016/B978-044481714-3/50023-0
Contextual Analysis of Word Meanings in Type-Theoretical Semantics, Pogodalla and Prost, pp.159-174 ,
DOI : 10.1007/978-3-642-22221-4_11
Common Nouns as Types, Lecture Notes in Computer Science, vol.7351, pp.173-185, 2012. ,
DOI : 10.1007/978-3-642-31262-5_12
Semantic types, lexical sorts and classifiers, 10th International Workshop on Natural Language Processing and Cognitive Science, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00916722
Wide-coverage French syntax and semantics using Grail, Proceedings of Traitement Automatique des Langues Naturelles (TALN), 2010. ,
DOI : 10.1007/978-3-319-50422-3_10
URL : https://hal.archives-ouvertes.fr/inria-00494064
Un calcul de termes typés pour la pragmatique lexicale ? chemins et voyageurs fictifs dans un corpus de récits de voyages, Traitement Automatique du Langage Naturel, pp.161-166, 2011. ,
The logic of categorial grammars: a deductive account of natural language syntax and semantics, LNCS, vol.6850, pp.978-981, 2012. ,
DOI : 10.1007/978-3-642-31555-8
URL : https://hal.archives-ouvertes.fr/hal-00829051
Noun phrase interpretation and type shifting principles, Formal Semantics: The Essential Readings, pp.357-381, 2008. ,
On the semantics of deverbals in a richly typed system, Journal of Logic Language and Information, 2013. ,
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most, Recherches linguistiques de Vincennes, vol.41, issue.41, pp.83-102, 2012. ,
DOI : 10.4000/rlv.2082
Sémantique des déterminants dans un cadre richement typé, Traitement Automatique du Langage Naturel, pp.367-380, 2013. ,
Distributive, Collective and Cumulative Quantification, Formal methods in the study of language, 1981. ,
DOI : 10.1515/9783110867602.131
Language in action, Journal of Philosophical Logic, vol.7, issue.3, 1991. ,
DOI : 10.1007/BF00250539