- 2
- 1
Christian Retoré
Christian Retoré, professeur des universités Université de Montpellier
3
Documents
Affiliations actuelles
- 392245
Identifiants chercheurs
- christian-retore
- Arxiv : retore_c_1
- 0000-0002-2401-9158
- IdRef : 076006913
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
- 1
- 1
- 1
- 3
- 1
- 3
- 3
- 1
- 1
- 2
|
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial GrammarsJournal of Logic, Language and Information, 2010, 19 (2), pp.185--200
Article dans une revue
inria-00409557v1
|
An Automata-Theoretic Approach to MinimalismModel Theoretic Syntax at 10, Aug 2007, Unknown, Ireland. pp.73--82
Communication dans un congrès
hal-00306226v1
|
|
Non-Associative Categorial Grammars and Abstract Categorial GrammarsNew Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58
Communication dans un congrès
hal-00306393v1
|