Accéder directement au contenu

Christian Retoré

4
Documents
Identifiants chercheurs

Présentation

After a PhD in mathematical logic supervised by Jean-Yves Girard i discovered the applications of linear logic and type theory to natural language syntax (Lambek grammars) and semantics (à la Montague). I later focused on logic applied to semantics (compositonal semantics and lexical semantics with variables types) . More recently i have been studying the expression of logical operators in natural langage (in particular quantifiers), and i am planning to study the relation between natural language semantics and logical argumentation — and on a par extending and proving mathematical properties of the involved logical models. Positions: Professeur des universités, section informatique (U. Bordeaux 2003-2014, U. Montpellier 2014->) Chercheur INRIA (1994-1997 Nancy, Rennes 1997-2002, Bordeaux 2002-2003) Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) Doctorat de mathématiques (U. Paris 7 Denis Diderot, 1993, dir. J.-Y. Girard)
After a PhD in mathematical logic supervised by Jean-Yves Girard i discovered the applications of linear logic and type theory to natural language syntax (Lambek grammars) and semantics (à la Montague). I later focused on logic applied to semantics (compositonal semantics and lexical semantics with variables types) . More recently i have been studying the expression of logical operators in natural langage (in particular quantifiers), and i am planning to study the relation between natural language semantics and logical argumentation — and on a par extending and proving mathematical properties of the involved logical models. Positions: Professeur des universités, section informatique (U. Bordeaux 2003-2014, U. Montpellier 2014->) Chercheur INRIA (1994-1997 Nancy, Rennes 1997-2002, Bordeaux 2002-2003) Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) Doctorat de mathématiques (U. Paris 7 Denis Diderot, 1993, dir. J.-Y. Girard)

Publications

852521
Image document

Towards a Type-Theoretical Account of Lexical Semantics

Christian Bassac , Bruno Mery , Christian Retoré
Journal of Logic, Language and Information, 2010, 19, pp.229-245
Article dans une revue inria-00408308v1
Image document

A Montague-based model of Generative Lexical Semantics

Bruno Mery , Christian Bassac , Christian Retoré
Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), FoLLI, Aug 2007, Dublin, Ireland. pp.90-97
Communication dans un congrès inria-00287343v1
Image document

A Montagovian Generative Lexicon

Bruno Mery , Christian Bassac , Christian Retoré
12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland
Communication dans un congrès inria-00287340v1