Christian Retoré

Christian Retoré, professeur des universités Université de Montpellier
115
Documents
Affiliation actuelle
  • Exploration et exploitation de données textuelles (TEXTE)
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)

Domaines de recherche

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

Publications

38
19
12
11
7
6
5
4
3
2
2
2
1
1
1
1
15
15
13
13
11
7
6
6
5
5
5
5
4
4
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
25
15
8
5
4
4
4
4
3
3
3
3
3
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
4
2
2
2
2
1
1
1
1
1
1
1
1
1
3
1
4
2
5
6
6
3
7
9
12
4
9
4
1
3
8
5
3
4
1
3
1
3
2
1
3
1
5
1
1
1
55
41
20
12
11
5
4
3
2
2
1
1
1
1
1
1

Publications

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

Christian Retoré

Verbum (Presses Universitaires de Nancy), 2019, Grammaires catégorielles, XL (2), pp.237-267

Article dans une revue hal-04994891v1
Deposit thumbnail

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⟩

Article dans une revue 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

Article dans une revue hal-02093509v1

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

Article dans une revue hal-01803739v1
Deposit thumbnail

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⟩

Article dans une revue hal-01802968v1
Deposit thumbnail

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

Article dans une revue hal-01803717v1

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⟩

Article dans une revue lirmm-01348023v1
Deposit thumbnail

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⟩

Article dans une revue hal-01471265v1

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

Article dans une revue hal-01076369v1

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

Article dans une revue hal-01009778v1
Deposit thumbnail

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

Article dans une revue hal-01071642v1
Deposit thumbnail

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⟩

Article dans une revue hal-00936338v1
Deposit thumbnail

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⟩

Article dans une revue hal-01120689v1

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

Article dans une revue hal-00820178v1
Deposit thumbnail

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

Article dans une revue hal-00677312v1
Deposit thumbnail

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

Article dans une revue inria-00408308v1
Deposit thumbnail

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

Article dans une revue inria-00409557v1
Deposit thumbnail

Categorial Minimalist Grammar: From Generative Syntax To Logical Form

Maxime Amblard , Alain Lecomte , Christian Retoré

Linguistic Analysis, 2010, 36 (1--4), pp.273--306

Article dans une revue hal-00545748v1

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

Article dans une revue hal-00306394v1

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

Christian Retoré

Gazette des Mathématiciens, 2008, pp.29--63

Article dans une revue hal-00306391v1

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

Christian Retoré

Gazette des Mathématiciens, 2008, pp.35--62

Article dans une revue hal-00306392v1
Deposit thumbnail

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 et al.

Recherches linguistiques de Vincennes, 2007, 36, pp.123--152

Article dans une revue 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

Article dans une revue 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

Article dans une revue hal-00442246v1
Deposit thumbnail

Neurosymbolic AI for Natural Language Inference in French : combining LLMs and theorem provers for semantic parsing and natural language reasoning

Maximos Skandalis , Lasha Abzianidze , Richard Moot , Christian Retoré , Simon Robillard

16th International Conference on Computational Semantics (IWCS 2025), Heinrich Heine University (HHU) Düsseldorf; ACL Special Interest Group on Computational Semantics (SIGSEM), Sep 2025, Düsseldorf, Germany. pp.242-253

Communication dans un congrès hal-05350875v1
Deposit thumbnail

A Proof-Theoretical Approach to Some Extensions of First Order Quantification

Loïc Allègre , Ophélie Lacroix , Christian Retoré

ARQNL 2024 - 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics, Jul 2024, Nancy, France. pp.92-107, ⟨10.48550/arXiv.2407.09865⟩

Communication dans un congrès hal-04852833v1
Deposit thumbnail

New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French

Maximos Skandalis , Richard Moot , Christian Retoré , Simon Robillard

LREC-COLING 2024 - Joint International Conference on Computational Linguistics, Language Resources and Evaluation, ELRA; ICCL, May 2024, Turin, Italy. pp.12173-12186

Communication dans un congrès hal-04589573v2
Deposit thumbnail

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

Communication dans un congrès lirmm-03863462v1

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

Christian Retoré

2nd Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Ugo Dal Lago; Valeria De Paiva, Jun 2020, Paris, France. pp.157-174, ⟨10.4204/EPTCS.353.8⟩

Communication dans un congrès hal-04994874v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02922646v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02146506v1

Solving the Individuation and Counting Puzzle with $\lambda $ -DRT and MGL

Bruno Mery , Richard Moot , Christian Retoré

LENLS 2018 - 15th International Workshop on Logic and Engineering of Natural Language Semantics, Nov 2018, Yokohama, Japan. pp.298-312, ⟨10.1007/978-3-030-31605-1_22⟩

Communication dans un congrès lirmm-04950535v1
Deposit thumbnail

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

Communication dans un congrès lirmm-01916104v1

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⟩

Communication dans un congrès 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 2018 - 15th International Workshop on Logic and Engineering of Natural Language Semantics, Nov 2018, Yokohama, Japan

Communication dans un congrès lirmm-01916255v1

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

Mathieu Lafourcade , Bruno Mery , Mehdi Mirzapour , Richard Moot , Christian Retoré

LENLS 2017 - 14th International Workshop on Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩

Communication dans un congrès lirmm-01916209v1
Deposit thumbnail

Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis

Mathieu Lafourcade , Bruno Mery , Mehdi Mirzapour , Richard Moot , Christian Retoré

LENLS 2017 - 14th International Workshop on Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan

Communication dans un congrès lirmm-01916195v1
Deposit thumbnail

“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

Communication dans un congrès hal-01341007v1
Deposit thumbnail

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

Communication dans un congrès lirmm-01311129v1
Deposit thumbnail

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

Communication dans un congrès hal-01214439v1
Deposit thumbnail

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

Communication dans un congrès lirmm-01311120v1
Deposit thumbnail

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

Communication dans un congrès hal-01194934v1
Deposit thumbnail

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

Bruno Mery , Richard Moot , Christian Retoré

LENLS 2014 - 11th International Workshop on Logic and Engineering of Natural Language Semantics, JSAI / isAI, Nov 2014, Kanagawa, Japan. pp.144-159, ⟨10.1007/978-3-662-48119-6_11⟩

Communication dans un congrès hal-01098748v1

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⟩

Communication dans un congrès hal-01009838v1
Deposit thumbnail

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

Communication dans un congrès hal-01145821v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01009753v1
Deposit thumbnail

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

Christian Retoré

TYPES 2013, Apr 2013, Toulouse, France. pp.64--65

Communication dans un congrès hal-00799685v1
Deposit thumbnail

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

Communication dans un congrès hal-00923556v1
Deposit thumbnail

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

Communication dans un congrès hal-00858020v1
Deposit thumbnail

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

Communication dans un congrès hal-00916722v1
Deposit thumbnail

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/

Communication dans un congrès hal-00760380v1

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

Communication dans un congrès hal-01044820v1
Deposit thumbnail

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

Communication dans un congrès hal-01152653v1
Deposit thumbnail

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/

Communication dans un congrès hal-00785656v2
Deposit thumbnail

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

Communication dans un congrès hal-00749374v1
Deposit thumbnail

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

Communication dans un congrès hal-00750750v1

Quantification and interaction

Michele Abrusci , Christian Retoré

Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France

Communication dans un congrès hal-00607676v1
Deposit thumbnail

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

Richard Moot , Christian Retoré

Coconat, Dec 2011, Tilburg, Netherlands

Communication dans un congrès 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

Communication dans un congrès hal-01231917v1
Deposit thumbnail

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

Communication dans un congrès hal-00607691v1
Deposit thumbnail

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

Communication dans un congrès hal-00607690v1
Deposit thumbnail

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

Communication dans un congrès hal-00607678v1
Deposit thumbnail

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

Christian Retoré

Genius III, Dec 2011, Paris, France

Communication dans un congrès inria-00637326v2

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

Christian Retoré

Cognitique / cognitics, Dec 2010, France

Communication dans un congrès 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

Communication dans un congrès hal-00409487v1
Deposit thumbnail

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

Communication dans un congrès inria-00287343v1

Non-Associative Categorial Grammars and Abstract Categorial Grammars

Christian Retoré , Sylvain Salvati

New Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58

Communication dans un congrès hal-00306393v1

An Automata-Theoretic Approach to Minimalism

Gregory Kobele , Christian Retoré , Sylvain Salvati

Model Theoretic Syntax at 10, Aug 2007, Unknown, Ireland. pp.73--82

Communication dans un congrès hal-00306226v1
Deposit thumbnail

A Montagovian Generative Lexicon

Bruno Mery , Christian Bassac , Christian Retoré

12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland

Communication dans un congrès inria-00287340v1
Deposit thumbnail

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

On the trees underlying natural language sentences

Christian Retoré

Colloquium in honor of Gérard Huet, Jun 2007, Paris, France

Communication dans un congrès 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

Communication dans un congrès 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

Communication dans un congrès hal-00012407v1
Deposit thumbnail

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
Deposit thumbnail

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

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

Communication dans un congrès inria-00098440v1

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

Communication dans un congrès inria-00098442v1
Deposit thumbnail

On the semantic readings of proof-nets

Philippe de Groote , Christian Retoré

Formal grammar 1996, 1996, Prague, Czech Republic. pp.57--70

Communication dans un congrès hal-00823554v1
Deposit thumbnail

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

Poster de conférence hal-02150083v1
Deposit thumbnail

Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues

Maxime Amblard , Greg Kobele , Christian Retoré

ARCo, Mar 2006, Bordeaux, France. 2006

Poster de conférence hal-01079258v1
Deposit thumbnail

Le contexte en traitement automatique des langues

Juan Luis Gastaldi , Richard Moot , Christian Retoré

Gerda Hassler. Les concepts fondateurs de la philosophie du langage : Le contexte en question, 10 (Chapitre 14), ISTE, pp.295-323, 2024, 9781836120032

Chapitre d'ouvrage hal-04008967v1
Deposit thumbnail

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⟩

Chapitre d'ouvrage hal-02915526v2

Pomset Logic: the other approach to non commutativity in logic

Christian Retoré

Claudia Casadio, Phil Scott. Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.299-345, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_9⟩

Chapitre d'ouvrage hal-04994832v1
Deposit thumbnail

Aristotle square of opposition in the light of Hilbert's espilon and tau quantifiers

Fabio Pasquali , Christian Retoré

Demetra Sfondoni-Mentzou. Aristotle 2400 Years. Proceedings of the World Congress, May 23-28, 2016, Section VII, Part 5, Aristotle University of Thessaloniki, pp.829-834, 2019, 978-960-243-716-2

Chapitre d'ouvrage hal-04994889v1

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⟩

Chapitre d'ouvrage hal-02093536v1

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⟩

Chapitre d'ouvrage lirmm-02189885v1

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⟩

Chapitre d'ouvrage hal-01471256v1
Deposit thumbnail

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⟩

Chapitre d'ouvrage hal-00923897v1
Deposit thumbnail

Logique mathématique et linguistique formelle

Christian Retoré

Géraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013

Chapitre d'ouvrage 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

Chapitre d'ouvrage 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

Rapport (rapport de recherche) lirmm-01281243v1
Deposit thumbnail

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

Christian Retoré

2013

Rapport hal-00779214v2
Deposit thumbnail

Some proof theoretical remarks on quantification in ordinary language

Michele Abrusci , Christian Retoré

2013

Rapport hal-00779223v1
Deposit thumbnail

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

Rapport (rapport de recherche) inria-00117306v3
Deposit thumbnail

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

Rapport (rapport de recherche) inria-00084245v4
Deposit thumbnail

The Logic of Categorial Grammars: Lecture Notes

Christian Retoré

RR-5703, INRIA. 2005, pp.105

Rapport inria-00070313v1
Deposit thumbnail

Syntaxe et Traitement Automatique des Langues

Christian Retoré

RR-5459, INRIA. 2005, pp.16

Rapport inria-00070547v1
Deposit thumbnail

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

Rapport (rapport de recherche) inria-00071248v1
Deposit thumbnail

Petri Nets Step Transitions and Proofs in Partially Commutative Linear Logic

Christian Retoré

[Research Report] RR-4288, INRIA. 2001

Rapport (rapport de recherche) inria-00072299v1
Deposit thumbnail

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

Christian Retoré

[Rapport de recherche] RR-3917, INRIA. 2000

Rapport (rapport de recherche) inria-00072736v1
Deposit thumbnail

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

Christian Retoré

[Research Report] RR-3652, INRIA. 1999

Rapport (rapport de recherche) inria-00073020v1
Deposit thumbnail

Resource Logics and Minimalist Grammars

Christian Retoré , Edward Stabler

[Research Report] RR-3780, INRIA. 1999

Rapport (rapport de recherche) inria-00072881v1
Deposit thumbnail

Pomset Logic as a Calculus of Directed Cographs

Christian Retoré

[Research Report] RR-3714, INRIA. 1999

Rapport (rapport de recherche) inria-00072953v1
Deposit thumbnail

A note on intersection types

Christian Retoré

RR-2431, INRIA. 1994

Rapport inria-00074244v1
Deposit thumbnail

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

Christian Retoré

RR-2432, INRIA. 1994

Rapport inria-00074243v1
Deposit thumbnail

On the relation between coherence semantics and multiplicative proof nets

Christian Retoré

RR-2430, INRIA. 1994

Rapport inria-00074245v1
Deposit thumbnail

Réseaux et séquents ordonnés

Christian Retoré

Mathématiques [math]. Université Paris-Diderot - Paris VII, 1993. Français. ⟨NNT : ⟩

Thèse tel-00585634v1
Deposit thumbnail

Logique linéaire et syntaxe des langues

Christian Retoré

Mathématiques [math]. Université de Nantes, 2002

HDR tel-00354041v1