- 1
- 1
Christian Retoré
2
Documents
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.
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th BirthdaySylvain Pogodalla and Myriam Quatrini and Christian Retoré. Springer, 6700, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. ⟨10.1007/978-3-642-21490-5⟩
Ouvrages
inria-00607880v1
|
|
Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits[Research Report] RR-5409, INRIA. 2004, pp.25
Rapport
inria-00071248v1
|