Access content directly

Christian Retoré

107
Documents
Researcher identifiers

Presentation

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

Image document

Natural Language Semantics and Computability

Richard Moot , Christian Retoré
Journal of Logic, Language and Information, 2019, 28 (2), pp.287-307. ⟨10.1007/s10849-019-09290-7⟩
Journal articles hal-01315316v1

L'approche logique des grammaires catégorielles : une syntaxe tournée vers la sémantique

Christian Retoré
Verbum (Presses Universitaires de Nancy), 2018, XL (2), pp.237-267
Journal articles hal-02093509v1
Image document

An outline of type-theoretical approaches to lexical semantics

Robin Cooper , Christian Retoré
Journal of Language Modelling, 2017, 5 (2), pp.165-178. ⟨10.15398/jlm.v5i2.200⟩
Journal articles hal-01802968v1
Image document

From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers

Stergios Chatzikyriakidis , Fabio Pasquali , Christian Retoré
IfColog Journal of Logics and their Applications (FLAP), 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256
Journal articles hal-01803717v1

La langue commune au cœur du raisonnement, notamment mathématique

Christian Retoré
Images des Mathématiques, 2017, La tribune des mathématiciens -- Mathématiques et langages : le feuilleton de l’automne
Journal articles hal-01803739v1

Quantification in Ordinary Language and Proof Theory

Michele Abrusci , Fabio Pasquali , Christian Retoré
Philosophia Scientiae, 2016, 20-1, pp.185-205. ⟨10.4000/philosophiascientiae.1163⟩
Journal articles lirmm-01348023v1
Image document

Conditions d’assertion de "chaque" et de "tout" et règles de déduction du quantificateur universel

Alda Mari , Christian Retoré
Travaux de Linguistique : Revue Internationale de Linguistique Française, 2016, 72, pp.89-106. ⟨10.3917/tl.072.0089⟩
Journal articles hal-01471265v1
Image document

Deverbal semantics and the Montagovian generative lexicon ΛTyn

Livy-Maria Real-Coelho , Christian Retoré
Journal of Logic, Language and Information, 2014, 23 (3), pp.347-366. ⟨10.1007/s10849-014-9187-y⟩
Journal articles hal-01120689v1
Image document

Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property

Maxime Amblard , Christian Retoré
IfColog Journal of Logics and their Applications (FLAP), 2014, 1 (1), pp.53-94
Journal articles hal-01071642v1

Recension de "La déesse des petites victoires" Yannick Grannec (Editions Anne Carrière, 2012)

Christian Retoré , Gilles Zémor
Gazette des Mathématiciens, 2014, pp.113-116
Journal articles hal-01009778v1
Image document

Category theory, logic and formal linguistics: some connections, old and new

Jean Gillibert , Christian Retoré
Journal of Applied Logic, 2014, 12 (1), pp.1-13. ⟨10.1016/j.jal.2014.01.001⟩
Journal articles hal-00936338v1

Recension de "The blind spot. Lectures on logic" par J.-Y. Girard (European Mathematical Society, 2011).

Thomas Seiller , Christian Retoré
Gazette des Mathématiciens, 2014, 142, pp.136-143
Journal articles hal-01076369v1

Note de lecture sur "Discourse processing" de Manfred Stede

Christian Retoré , Richard Moot
Revue TAL : traitement automatique des langues, 2013, 53 (2), pp.214--217
Journal articles hal-00820178v1
Image document

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most"

Christian Retoré
Recherches linguistiques de Vincennes, 2012, 41, pp.83-102
Journal articles hal-00677312v1
Image document

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Christian Retoré , Sylvain Salvati
Journal of Logic, Language and Information, 2010, 19 (2), pp.185--200
Journal articles inria-00409557v1
Image document

Categorial Minimalist Grammar: From Generative Syntax To Logical Form

Maxime Amblard , Alain Lecomte , Christian Retoré
Linguistic Analysis, 2010, 36 (1--4), pp.273--306
Journal articles hal-00545748v1
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
Journal articles inria-00408308v1

Note de lecture sur Two-Step Approaches to Natural Language Formalisms de Frank Morawietz

Christian Retoré
Revue TAL : traitement automatique des langues, 2009, 48 (3), pp.227--229
Journal articles hal-00306394v1

Les mathématiques de la linguistique computationnelle. Premier volet: la théorie des langages

Christian Retoré
Gazette des Mathématiciens, 2008, pp.35--62
Journal articles hal-00306392v1

Les mathématiques de la linguistique computationnelle. Second volet: Logique

Christian Retoré
Gazette des Mathématiciens, 2008, pp.29--63
Journal articles hal-00306391v1
Image document

Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes

Denis Bechet , Roberto Bonato , Alexandre Dikovsky , Annie Foret , Yannick Le Nir
Recherches linguistiques de Vincennes, 2007, 36, pp.123--152
Journal articles hal-00354043v1

Les indices pronominaux du français dans les grammaires catégorielles

Richard Moot , Christian Retoré
Lingvisticae investigationes : International Journal of Linguistics and Language, 2006, 27 (1), pp.137-146
Journal articles hal-00278791v1

Systèmes déductifs et traitement des langues: un panorama des grammaires catégorielles

Christian Retoré
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2001, 20 (3), pp.301--336
Journal articles hal-00442246v1
Image document

A proof system for dialogical anaphora resolution

Davide Catta , Richard Moot , Christian Retoré , Symon Jory Stevens-Guille
AI3 2022 - 5th Workshop on Advances in Argumentation in Artificial Intelligence, Nov 2022, Udine, Italy
Conference papers lirmm-03863462v1
Image document

Inferential Semantics as Argumentative Dialogues

Davide Catta , Luc Pellissier , Christian Retoré
DCAI 2020 - 17th International Conference on Distributed Computing and Artificial Intelligence, Jun 2020, L´Aquila, Italy. pp.72-81, ⟨10.1007/978-3-030-53829-3_7⟩
Conference papers hal-02922646v1
Image document

Measuring Linguistic Complexity: Introducing a New Categorial Metric

Mehdi Mirzapour , Jean-Philippe Prost , Christian Retoré
LACompLing 2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. pp.95-123, ⟨10.1007/978-3-030-30077-7_5⟩
Conference papers hal-02146506v1

Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm

Mehdi Mirzapour , Christian Retoré
Diagrams 2018 - 10th International Conference on Theory and Application of Diagrams, Jun 2018, Edinburgh, United Kingdom. pp.716-720, ⟨10.1007/978-3-319-91376-6_66⟩
Conference papers lirmm-01916122v1

Polysemy, Individuation and Co-Predication: a simple solution to the counting puzzle implemented using lambda-DRT and MGL

Bruno Mery , Richard Moot , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, Nov 2018, Yokohama, Japan
Conference papers lirmm-01916255v1
Image document

Categorial Proof Nets and Dependency Locality: A New Metric for Linguistic Complexity

Mehdi Mirzapour , Jean-Philippe Prost , Christian Retoré
LACompLing: Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. pp.73-86
Conference papers lirmm-01916104v1

Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis

Mathieu Lafourcade , Bruno Mery , Mehdi Mirzapour , Richard Moot , Christian Retoré
JSAI-isAI Workshops, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩
Conference papers lirmm-01916209v1
Image document

Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis

Mathieu Lafourcade , Bruno Mery , Mehdi Mirzapour , Richard Moot , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan
Conference papers lirmm-01916195v1
Image document

Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases

Bruno Mery , Richard Moot , Christian Retoré
Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Christian Retoré; Stergios Chatzikyriakidis; Fabio Pasquali, Aug 2015, Montpellier, France
Conference papers hal-01214439v1
Image document

Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment

Bruno Mery , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. pp.74-87
Conference papers lirmm-01311120v1
Image document

Quantifier scope: a formal and experimental study

Arthur Capelier-Mourguy , Philippe Blache , Christian Retoré , Laurent Prevot
CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France
Conference papers hal-01194934v1
Image document

A Case Study of Copredication over a Deverbal that Reconciles Empirical Data with Computational Semantics

Livy Real , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan
Conference papers lirmm-01311129v1
Image document

“Chaque vin a sa lie." versus “Toute nuit a un jour." --- does the difference in the human processing of " chaque" and " tout" match the difference between the proof rules for conjunction and quantification?

Alda Mari , Christian Retoré
(In)Coherence of discourse, M. Amblard; M. Musiol; M. Rebuschi, Dec 2015, Nancy, France
Conference papers hal-01341007v1
Image document

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types

Bruno Mery , Richard Moot , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, JSAI / isAI, Nov 2014, Kanagawa, Japan. pp.144-159, ⟨10.1007/978-3-662-48119-6_11⟩
Conference papers hal-01098748v1
Image document

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases

Christian Retoré
FG: Formal Grammar, Aug 2014, Tübingen, Germany. pp.15-33, ⟨10.1007/978-3-662-44121-3_2⟩
Conference papers hal-01009753v1
Image document

Semantic Types, Lexical Sorts and Classifiers

Bruno Mery , Christian Retoré
NLPCS '10- 10th International Workshop on Natural Language Processing and Computer Science - 2013, Oct 2013, Marseille, France
Conference papers hal-00916722v1

The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics

Christian Retoré
TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩
Conference papers hal-01009838v1
Image document

A Generative Montagovian Lexicon for Polysemous Deverbal Nouns

Livy-Maria Real-Coelho , Christian Retoré
4th world congress on Universal Logic -- workshop on Logic and linguistics, Apr 2013, Rio de Janeiro, Brazil. http://www.uni-log.org/
Conference papers hal-00760380v1
Image document

Advances in the Logical Representation of Lexical Semantics

Bruno Mery , Christian Retoré
NLCS'13 - Natural Language and Computer Science - 2013, Jun 2013, New Orleans, United States
Conference papers hal-00858020v1
Image document

Sémantique des déterminants dans un cadre richement typé

Christian Retoré
Traitement Automatique du Langage Naturel 2013, Jun 2013, Les Sables d'Olonnes, France. http://aclweb.org/anthology-new/
Conference papers hal-00785656v2

A natural framework for natural language semantics: many sorted logic and Hilbert operators in type theory

Christian Retoré
European Conference on Logic : Logic Colloquium 2013, Association for Symbolic Logic (ASL), Jul 2013, Évora, Portugal
Conference papers hal-01044820v1
Image document

Type-theoretical natural language semantics: on the system F for meaning assembly

Christian Retoré
Conference of the Types Project - TYPES 2013, Apr 2013, Toulouse, France. pp.64-65
Conference papers hal-01152653v1
Image document

The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics

Christian Retoré
TYPES: International Workshop on Types and Proofs for Programs, Apr 2013, Toulouse, France. pp.202-229
Conference papers hal-01145821v1
Image document

Plurals: individuals and sets in a richly typed semantics

Bruno Mery , Richard Moot , Christian Retoré
LENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013, jSAI-ISAI, Oct 2013, Hiyoshi, Kanagawa, Japan. pp.143-156
Conference papers hal-00923556v1
Image document

Type-theoretical natural language semantics: on the system F for meaning assembly

Christian Retoré
TYPES 2013, Apr 2013, Toulouse, France. pp.64--65
Conference papers hal-00799685v1
Image document

Traitement automatique d'un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types

Anaïs Lefeuvre , Richard Moot , Christian Retoré
3e Congrès Mondial de Linguistique Française, Jul 2012, Lyon, France. pp. 2485-2497
Conference papers hal-00750750v1
Image document

Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle

Anaïs Lefeuvre , Richard Moot , Christian Retoré , Noémie-Fleur Sandillon-Rezer
JEP-TALN-RECITAL 2012, Jun 2012, Grenoble, France. pp. 43-56
Conference papers hal-00749374v1
Image document

Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyages

Richard Moot , Laurent Prévot , Christian Retoré
18e conférence sur le traitement automatique du langage naturel, TALN 2011, Jun 2011, Montpellier, France. pp.161--166
Conference papers hal-00607690v1
Image document

A discursive analysis of itineraries in an historical and regional corpus of travels

Richard Moot , Laurent Prévot , Christian Retoré
Constraints in discourse, Sep 2011, Ayay-roches-rouges, France. http://passage.inria.fr/cid2011/doku.php
Conference papers hal-00607691v1
Image document

Quantification in ordinary language

Michele Abrusci , Christian Retoré
14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul 2011, Nancy, France. http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf
Conference papers hal-00607678v1
Image document

Specimens: "most of" generic NPs in a contextually flexible type theory

Christian Retoré
Genius III, Dec 2011, Paris, France
Conference papers inria-00637326v2
Image document

Second order lambda calculus for meaning assembly: on the logical syntax of plurals

Richard Moot , Christian Retoré
Coconat, Dec 2011, Tilburg, Netherlands
Conference papers hal-00650644v1

Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyage

Richard Moot , Laurent Prevot , Christian Retoré
TALN 2011, 2011, Unknown, Unknown Region
Conference papers hal-01231917v1

Quantification and interaction

Michele Abrusci , Christian Retoré
Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France
Conference papers hal-00607676v1

Talking and understanding: cognitive processes and computational models of the language faculty

Christian Retoré
Cognitique / cognitics, Dec 2010, France
Conference papers hal-00607692v1

Proof nets without links for Lambek calculus and partially commutative linear logic

Daniele Porello , Christian Retoré
50 years of the Syntactic calculus, Jul 2008, Chieti, Italy
Conference papers hal-00409487v1

Non-Associative Categorial Grammars and Abstract Categorial Grammars

Christian Retoré , Sylvain Salvati
New Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58
Conference papers hal-00306393v1
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
Conference papers inria-00287343v1

An Automata-Theoretic Approach to Minimalism

Gregory Kobele , Christian Retoré , Sylvain Salvati
Model Theoretic Syntax at 10, Aug 2007, Unknown, Ireland. pp.73--82
Conference papers hal-00306226v1
Image document

A Montagovian Generative Lexicon

Bruno Mery , Christian Bassac , Christian Retoré
12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland
Conference papers inria-00287340v1
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
Conference papers hal-00409486v1

On the trees underlying natural language sentences

Christian Retoré
Colloquium in honor of Gérard Huet, Jun 2007, Paris, France
Conference papers hal-00416232v1

Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla)

Christian Retoré
GEOCAL Workshop on logic and linguistics, Feb 2006, Marseille, France
Conference papers hal-00418580v1

L'ordre des mots dans les grammaires catégorielles

Richard Moot , Christian Retoré
Pré-Actes des Journées de la syntaxe: ordre des mots dans la phrase française, positions et topologie, 2004, Bordeaux, France. pp.56-59
Conference papers hal-00012407v1
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
Conference papers 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
Conference papers hal-01079278v1

Proof Nets for the Lambek Calculus - an overview

François Lamarche , Christian Retoré
Third Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262
Conference papers inria-00098442v1

Words as modules: a lexicalised grammar in the framework of linear logic proof nets.

Alain Lecomte , Christian Retoré
Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, pp.129-144
Conference papers inria-00098440v1
Image document

On the semantic readings of proof-nets

Philippe de Groote , Christian Retoré
Formal grammar 1996, 1996, Prague, Czech Republic. pp.57--70
Conference papers hal-00823554v1
Image document

Sentence meaning as argumentative dialogues

Davide Catta , Alda Mari , Christian Retoré
SEMDIAL: Semantics and Pragmatics of Dialogue, Nov 2018, Aix-en-Provence, France. , 22nd Workshop on the Semantics and Pragmatics of Dialogue
Conference poster hal-02150083v1
Image document

Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues

Maxime Amblard , Greg Kobele , Christian Retoré
ARCo, Mar 2006, Bordeaux, France. 2006
Conference poster hal-01079258v1
Image document

Le contexte en traitement automatique des langues

Juan Luis Gastaldi , Richard Moot , Christian Retoré
Gerda Hassler. Les concepts fondateurs de la philosophie du langage: Contexte, ISTE, inPress
Book sections hal-04008967v1
Image document

Dialogical Argumentation and Textual Entailment

Davide Catta , Richard Moot , Christian Retoré
Natural Language Processing in Artificial Intelligence—NLPinAI 2020, 939, Springer, pp.191-226, 2021, Studies in Computational Intelligence, 978-3030637866. ⟨10.1007/978-3-030-63787-3_7⟩
Book sections hal-02915526v2

A computational account of virtual travelers in the Montagovian generative lexicon

Anaïs Lefeuvre-Halftermeyer , Richard Moot , Christian Retoré
Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩
Book sections hal-02093536v1

Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics

Bruno Mery , Christian Retoré
Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. ⟨10.1007/978-3-319-50422-3_7⟩
Book sections hal-01471256v1

A description of the non-sequential execution of Petri nets in partially commutative linear logic

Christian Retoré
Jan Van Eijck; Vincent Van Oostrom; Albert Visser. Logic Colloquium '99, Cambridge University Press, pp.152-181, 2017, Lecture Notes in Logic, ⟨10.1017/9781316755921.013⟩
Book sections lirmm-02189885v1
Image document

Learning Lambek grammars from proof frames

Roberto Bonato , Christian Retoré
Claudia Casadio; Bob Coecke; M. Moortgat; Ph. Scott. Categories and types in logic, language and physics -- Festschrift on the occasion of Jim Lambek's 90th birthday, Springer, pp.108-135, 2014, Lecture Notes in Computer Science, 978-3-642-54788-1. ⟨10.1007/978-3-642-54789-8_7⟩
Book sections hal-00923897v1
Image document

Logique mathématique et linguistique formelle

Christian Retoré
Géraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013
Book sections hal-00607693v1

Syntaxe et traitement automatique des langues

Christian Retoré
F. Lambert et H. Nolke. La syntaxe au cœur de la grammaire, mélanges offerts à Claude Muller, Presses Universitaires de Rennes, pp.271--286, 2005, Rivages linguistiques
Book sections hal-00354049v1

Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation

Richard Moot , Christian Retoré
[Research Report] LIRMM; LABRI. 2016
Reports lirmm-01281243v1
Image document

A type theoretical framework for natural language semantics: the Montagovian generative lexicon

Christian Retoré
2013
Reports hal-00779214v2
Image document

Some proof theoretical remarks on quantification in ordinary language

Michele Abrusci , Christian Retoré
2013
Reports hal-00779223v1
Image document

A Case Study of the Convergence of Mildly Context-Sensitive Formalisms for Natural Language Syntax: from Minimalist Grammars to Multiple Context-Free Grammars

Bruno Mery , Maxime Amblard , Irène Durand , Christian Retoré
[Research Report] RR-6042, INRIA. 2006, pp.67
Reports inria-00117306v3
Image document

Toward a knowledge representation model dedicated to the semantic analysis of the sentence

Jules Vanier , Christian Bassac , Patrick Henry , Renaud Marlet , Christian Retoré
[Rapport de recherche] RR-5951, INRIA. 2006, pp.46
Reports inria-00084245v4
Image document

Syntaxe et Traitement Automatique des Langues

Christian Retoré
RR-5459, INRIA. 2005, pp.16
Reports inria-00070547v1
Image document

The Logic of Categorial Grammars: Lecture Notes

Christian Retoré
RR-5703, INRIA. 2005, pp.105
Reports inria-00070313v1
Image document

Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits

Sylvain Pogodalla , Christian Retoré
[Research Report] RR-5409, INRIA. 2004, pp.25
Reports inria-00071248v1
Image document

Petri Nets Step Transitions and Proofs in Partially Commutative Linear Logic

Christian Retoré
[Research Report] RR-4288, INRIA. 2001
Reports inria-00072299v1
Image document

Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles

Christian Retoré
[Rapport de recherche] RR-3917, INRIA. 2000
Reports inria-00072736v1
Image document

Handsome Proof-nets: R&B-Graphs, Perfect Matchings and Series-parallel Graphs

Christian Retoré
[Research Report] RR-3652, INRIA. 1999
Reports inria-00073020v1
Image document

Pomset Logic as a Calculus of Directed Cographs

Christian Retoré
[Research Report] RR-3714, INRIA. 1999
Reports inria-00072953v1
Image document

Resource Logics and Minimalist Grammars

Christian Retoré , Edward Stabler
[Research Report] RR-3780, INRIA. 1999
Reports inria-00072881v1
Image document

On the relation between coherence semantics and multiplicative proof nets

Christian Retoré
RR-2430, INRIA. 1994
Reports inria-00074245v1
Image document

A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences

Christian Retoré
RR-2432, INRIA. 1994
Reports inria-00074243v1
Image document

A note on intersection types

Christian Retoré
RR-2431, INRIA. 1994
Reports inria-00074244v1
Image document

Réseaux et séquents ordonnés

Christian Retoré
Mathématiques [math]. Université Paris-Diderot - Paris VII, 1993. Français. ⟨NNT : ⟩
Theses tel-00585634v1
Image document

Logique linéaire et syntaxe des langues

Christian Retoré
Mathématiques [math]. Université de Nantes, 2002
Habilitation à diriger des recherches tel-00354041v1