- 2
- 2
- 1
- 1
- 1
- 1
Christian Retoré
8
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
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 2
- 1
- 1
- 1
- 1
- 6
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
|
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula PropertyIfColog Journal of Logics and their Applications (FLAP), 2014, 1 (1), pp.53-94
Article dans une revue
hal-01071642v1
|
|
Categorial Minimalist Grammar: From Generative Syntax To Logical FormLinguistic Analysis, 2010, 36 (1--4), pp.273--306
Article dans une revue
hal-00545748v1
|
|
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with ProductComputation and Logic in the Real World (Computing in Europe 2007), Jun 2007, Siena, Italy. pp.28--44
Communication dans un congrès
hal-00409486v1
|
|
Syntax and Semantics interacting in a Minimalist theoryProspect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
Communication dans un congrès
hal-01079278v1
|
|
L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégoriellesJournée de Sémantique et Modélisation, Mar 2004, Lyon, France
Communication dans un congrès
hal-01079275v1
|
|
Linguistique computationnelle : entre sciences cognitives et traitement automatique des languesARCo, Mar 2006, Bordeaux, France. 2006
Poster de conférence
hal-01079258v1
|
|
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic2007
Pré-publication, Document de travail
hal-00941206v1
|
|
A Case Study of the Convergence of Mildly Context-Sensitive Formalisms for Natural Language Syntax: from Minimalist Grammars to Multiple Context-Free Grammars[Research Report] RR-6042, INRIA. 2006, pp.67
Rapport
inria-00117306v3
|