Lexical Meaning in context -a web of words, 2011. ,
, Theorie der logischen auswahlfunktionen. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1957.
Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic Language and Information, vol.19, issue.2, pp.229-245, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00408308
Zbl0327.02013 : review of "on an extension of Hilbert's secondtheorem, 1975. ,
La querelle des universaux de Platonà la fin du MoyenÂge. Des travaux, 1996. ,
The epsilon operator and E-type pronouns, Lexical Knowledge in the Organization of Language. Benjamins, pp.121-141, 1995. ,
Pronouns, quantifiers, and relative clauses (i), Canadian Journal of Philosophy, vol.7, issue.3, pp.467-536, 1977. ,
Une extension de l'interprétation de Gödelà l'analyse et son application: l'élimination des coupures dans l'analyse et la théorie des types, Proceedings of the Second Scandinavian Logic Symposium, vol.63, pp.63-92, 1971. ,
The blind spot -lectures on logic, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01322183
, Grundlagen der Mathematik. Bd. 2. Springer (1939) Traduction française de F. Gaillard, E. Guillaume et M. Guillaume, L'Harmattan, 2001.
The development of logic. 3 rd edn, 1986. ,
Mathematical logic and Hilbert's symbol. University Mathematical Series, 1967. ,
Contextual analysis of word meanings in type-theoretical semantics, LNCS, vol.6736, pp.159-174, 2011. ,
Common nouns as types, Lecture Notes in Computer Science, vol.7351, pp.173-185, 2012. ,
Plurals: individuals and sets in a richly typed semantics, Logic and Engineering of Natural Language Semantics, vol.10, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00923556
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
Zbl0381.03042: review of "cut elimination in a Gentzen-style -calculus without identity, Z. math Logik Grundl. Math, 1977. ,
Cut elimination for a simple formulation of epsilon calculus, Ann. Pure Appl. Logic, vol.152, issue.1-3, pp.148-160, 2008. ,
Wide-coverage French syntax and semantics using Grail, Proceedings of Traitement Automatique des Langues Naturelles (TALN), 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00494064
The logic of categorial grammars: a deductive account of natural language syntax and semantics, LNCS, vol.6850, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00829051
The epsilon calculus and herbrand complexity, Studia Logica, vol.82, issue.1, pp.133-155, 2006. ,
Deverbal semantics and the Montagovian generative lexicon ?Ty n, Journal of Logic, Language and Information, pp.1-20, 2014. ,
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most, Recherches Linguistiques de Vincennes 41, pp.83-102, 2012. ,
Sémantique des déterminants dans un cadre richement typé, Traitement Automatique du Langage Naturel, TALN RECITAL 2013, vol.1, pp.367-380, 2013. ,
On denoting, Mind, vol.56, issue.14, pp.479-493, 1905. ,
Taking Scope: The Natural Semantics of Quantifiers, 2012. ,
Definite descriptions and choice functions, Logic, Language and Computation, pp.61-91, 1997. ,
Choice functions and the anaphoric semantics of definite nps, Research on Language and Computation, vol.2, pp.309-329, 2004. ,