Christian Retoré

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 15

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Loïc Allègre, Ophélie Lacroix, Christian Retoré
A proof-theoretical approach to some extensions of first order quantification. CoRR (2024)
Maximos Skandalis, Richard Moot, Christian Retoré, Simon Robillard
New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French. LREC/COLING (2024)
Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille
A Proof System for Dialogical Anaphora Resolution. AI³@AI*IA (2022)
Christian Retoré
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces. CoRR (2021)
Davide Catta, Richard Moot, Christian Retoré
Logical Semantics, Dialogical Argumentation, and Textual Entailment. CoRR (2020)
Christian Retoré
Pomset logic: a logical and grammatical alternative to the Lambek calculus. CoRR (2020)
Davide Catta, Luc Pellissier, Christian Retoré
Inferential Semantics as Argumentative Dialogues. DCAI (Special Sessions) (2020)
Richard Moot, Christian Retoré
Natural Language Semantics and Computability. J. Log. Lang. Inf. 28 (2) (2019)
Mehdi Mirzapour, Christian Retoré
Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. Diagrams (2018)
Bruno Mery, Richard Moot, Christian Retoré
Solving the Individuation and Counting Puzzle with \lambda -DRT and MGL - If I Can Get a Book from the Library, It Saves Me from Needing to Buy It in the Bookshop. JSAI-isAI Workshops (2018)
Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot, Christian Retoré
Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis. JSAI-isAI Workshops (2017)
Robin Cooper, Christian Retoré
An outline of type-theoretical approaches to lexical semantics. J. Lang. Model. 5 (2) (2017)
Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics". FLAP 4 (2) (2017)
Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers. FLAP 4 (2) (2017)
Richard Moot, Christian Retoré
Natural Language Semantics and Computability. CoRR (2016)
Livy-Maria Real-Coelho, Christian Retoré
Deverbal semantics and the Montagovian generative lexicon. CoRR (2014)
Jean Gillibert, Christian Retoré
Category theory, logic and formal linguistics: some connections, old and new. CoRR (2014)
Christian Retoré
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases. FG (2014)
Bruno Mery, Richard Moot, Christian Retoré
Plurals: individuals and sets in a richly typed semantics. CoRR (2014)
Jean Gillibert, Christian Retoré
Category theory, logic and formal linguistics: Some connections, old and new. J. Appl. Log. 12 (1) (2014)
Roberto Bonato, Christian Retoré
Learning Lambek Grammars from Proof Frames. Categories and Types in Logic, Language, and Physics (2014)
Christian Retoré
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture). CoRR (2014)
Bruno Mery, Richard Moot, Christian Retoré
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. JSAI-isAI Workshops (2014)
Maxime Amblard, Christian Retoré
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property. FLAP 1 (1) (2014)
Livy Real, Christian Retoré
Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n. J. Log. Lang. Inf. 23 (3) (2014)
Maxime Amblard, Christian Retoré
Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic. CoRR (2014)
Christian Retoré
Type-theoretical natural language semantics: on the system F for meaning assembly CoRR (2013)
Bruno Mery, Christian Retoré
Semantic Types, Lexical Sorts and Classifiers. CoRR (2013)
V. Michele Abrusci, Christian Retoré
Some proof theoretical remarks on quantification in ordinary language CoRR (2013)
Bruno Mery, Christian Retoré
Advances in the Logical Representation of Lexical Semantics. CoRR (2013)
Christian Retoré
The Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics CoRR (2013)
Christian Retoré
The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics. TYPES (2013)
Christian Retoré
Sémantique des déterminants dans un cadre richement typé CoRR (2013)
Roberto Bonato, Christian Retoré
Learning Lambek grammars from proof frames. CoRR (2013)
Christian Retoré
Logique mathématique et linguistique formelle. CoRR (2013)
Christian Retoré
On the semantics of determiners in a rich type-theoretical framework (Sémantique des déterminants dans un cadre richement typé) [in French]. TALN (1) (2013)
Christian Retoré
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most CoRR (2012)
Anaïs Lefeuvre, Richard Moot, Christian Retoré, Noémie-Fleur Sandillon-Rezer
Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle (Processing of a Pyrenees Travel Novels Corpus : a Syntactical, Semantical and Temporal Analysis.) [in French]. JEP-TALN-RECITAL (2012)
Richard Moot, Laurent Prévot, Christian Retoré
Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyage (A calculation of typed terms for lexical pragmatics: paths and fictional travellers in a travel stories corpus). TALN (Articles courts) (2011)
Christian Retoré
Specimens: "most of" generic NPs in a contextually flexible type theory CoRR (2011)
Christian Retoré
On the system F as a glue language for natural-language compositional-semantics CoRR (2011)
Christian Retoré, Sylvain Salvati
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars. J. Log. Lang. Inf. 19 (2) (2010)
Christian Bassac, Bruno Mery, Christian Retoré
Towards a Type-Theoretical Account of Lexical Semantics. J. Log. Lang. Inf. 19 (2) (2010)
Maxime Amblard, Alain Lecomte, Christian Retoré
Categorial Minimalist Grammar CoRR (2010)
Sylvain Kahane, Christian Retoré, Pierre Zweigenbaum
Éditorial. Trait. Autom. des Langues 47 (3) (2006)
Sylvain Kahane, Christian Retoré, Pierre Zweigenbaum
Éditorial. Trait. Autom. des Langues 47 (1) (2006)
Christian Retoré
Handsome proof-nets: perfect matchings and cographs. Theor. Comput. Sci. 294 (3) (2003)
Alain Lecomte, Christian Retoré
Extending Lambek Grammars: a Logical Account of Minimalist Grammars. ACL (2001)
Christian Retoré
Recent Issues in Categorial Grammar. ACL (Companion Volume) (2001)
Christian Retoré
Introduction. J. Log. Lang. Inf. 7 (4) (1998)
Christian Retoré
Pomset Logic: A Non-commutative Extension of Classical Linear Logic. TLCA (1997)
Christian Retoré
A Semantic Characterisation of the Correctness of a Proof Net. Math. Struct. Comput. Sci. 7 (5) (1997)
Denis Béchet, Philippe de Groote, Christian Retoré
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. RTA (1997)
Christian Retoré
Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. Electron. Notes Theor. Comput. Sci. 3 (1996)
Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Éric Villemonte de la Clergerie
Logical Aspects of Computational Linguistics: An Introduction. LACL (1996)
Arnaud Fleury, Christian Retoré
The Mix Rule. Math. Struct. Comput. Sci. 4 (2) (1994)

Christian Retoré.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Retoré