Computational interpretations of linear logic, Theoretical Computer Science, vol.111, issue.1-2, pp.3-57, 1993. ,
DOI : 10.1016/0304-3975(93)90181-R
Lexical Meaning in Context: a Web of Words Towards a Type-Theoretical Account of Lexical Semantics, Journal of Language, Logic, and Information, vol.19, issue.2, 2010. ,
DOI : 10.1017/CBO9780511793936
Logical Polysemy and Subtyping, JSAI-isAI Workshops, pp.17-24, 2012. ,
DOI : 10.1007/978-3-642-39931-2_2
A term calculus for Intuitionistic Linear Logic, Proceedings of the International Conference on Typed Lambda Calculi and Applications , TLCA '93, pp.75-90, 1993. ,
DOI : 10.1007/BFb0037099
Introduction to Linear Logic Copredication, dynamic generalized quantification and lexical innovation by coercion, Fourth International Workshop on Generative Approaches to the Lexicon, 1996. ,
Interprétation fonctionnelle etéliminationet´etélimination des coupures de l'arithmétique d'ordre supérieur, 1972. ,
Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987. ,
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
Linear logic, Third International Workshop on Generative Approaches to the Lexicon, 1995. ,
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
Coercive subtyping: Theory and implementation, Information and Computation, vol.223, pp.18-42, 2013. ,
DOI : 10.1016/j.ic.2012.10.020
URL : https://hal.archives-ouvertes.fr/hal-01130574
Modélisation de la Sémantique Lexicale dans le cadre de la Théorie des Types, 2011. ,
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types, To appear in the selected proceedings of LENLS 11, Lecture Notes in Computer Science, 2015. ,
DOI : 10.1007/978-3-662-48119-6_11
URL : https://hal.archives-ouvertes.fr/hal-01098748
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
Recent advances in the logical representation of lexical semantics, NCLS ? Workshop on Natural Language and Computer Science, 2013. ,
The proper treatment of quantification in ordinary English, Formal Philosophy, pp.188-221, 1974. ,
Meaning and Partiality, Studies in Logic, Langage and Information. CSLI, 1996. ,
Transfers of meaning, Proceedings of the 31st annual meeting on Association for Computational Linguistics, pp.191-192, 1993. ,
Feature Logic for Dotted Types: A Formalism for Complex Word Meanings The generative lexicon The Generative Lexicon The Metaphysics of Words in Context. Objectual attitudes, ACL 2000. [Pustejovsky, pp.409-441141, 1991. ,
The Montagovian Generative Lexicon Lambda Ty n : a Type Theoretical Framework for Natural Language Semantics, 19th International Conference on Types for Proofs and Programs of Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.202-229, 2013. ,
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases, Formal Grammar 2014, 2014. ,
DOI : 10.1007/978-3-662-44121-3_2
Coercion completion and conservativity in coercive subtyping, Annals of Pure and Applied Logic, vol.113, issue.1-3, pp.1-3297, 2001. ,
DOI : 10.1016/S0168-0072(01)00063-X