Accéder directement au contenu

Christian Retoré

Christian Retoré, professeur des universités Université de Montpellier
8
Documents
Affiliations actuelles
  • 392245
Identifiants chercheurs
Contact

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. Since 2020 -- perhaps a side effect of covid,or an allergy to machine learning -- I am coming back to mathematical logic -- linear logic, modal logic, categorical interpretations of proofs, topological semantics, and the likes. 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) Research Assistant, Imperial College, London September 1989 January 1991 Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) PhD -- Doctorat de mathématiques (U. Paris 7 Denis Diderot, February 1993, dir. J.-Y. Girard) Master -- DEA de mathématiques 1987 (U. Paris 7 Denis Diderot, June 1997) BSc -- Maîtrise de Mathématiques Pures, (U. Paris 6 Pierre et Marie Curie, 1986)
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. Since 2020 -- perhaps a side effect of covid,or an allergy to machine learning -- I am coming back to mathematical logic -- linear logic, modal logic, categorical interpretations of proofs, topological semantics, and the likes. 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) Research Assistant, Imperial College, London September 1989 January 1991 Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) PhD -- Doctorat de mathématiques (U. Paris 7 Denis Diderot, February 1993, dir. J.-Y. Girard) Master -- DEA de mathématiques 1987 (U. Paris 7 Denis Diderot, June 1997) BSc -- Maîtrise de Mathématiques Pures, (U. Paris 6 Pierre et Marie Curie, 1986)

Domaines de recherche

Logique en informatique [cs.LO] Logique [math.LO] Informatique et langage [cs.CL] Linguistique Philosophie

Publications

"maxime-amblard"
Image document

Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product

Maxime Amblard , Christian Retoré
Computation and Logic in the Real World (Computing in Europe 2007), Jun 2007, Siena, Italy. pp.28--44
Communication dans un congrès hal-00409486v1
Image document

L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles

Maxime Amblard , Alain Lecomte , Christian Retoré
Journée de Sémantique et Modélisation, Mar 2004, Lyon, France
Communication dans un congrès hal-01079275v1
Image document

Syntax and Semantics interacting in a Minimalist theory

Maxime Amblard , Alain Lecomte , Christian Retoré
Prospect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
Communication dans un congrès hal-01079278v1