Réseaux et séquents ordonnés. (Ordered sequents and proof nets). - Christian Retoré (1993)

The Mix Rule. - Arnaud Fleury; Christian Retoré (Math. Struct. Comput. Sci., 1994)

Logical Aspects of Computational Linguistics: An Introduction. - Patrick Blackburn; Marc Dymetman; Alain Lecomte; Aarne Ranta; Christian Retoré; Éric Villemonte de la Clergerie (LACL, 1996)

Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. - Christian Retoré (Linear Logic Tokyo Meeting, 1996)

A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. - Denis Béchet; Philippe de Groote; Christian Retoré (RTA, 1997)

Pomset Logic: A Non-commutative Extension of Classical Linear Logic. - Christian Retoré (TLCA, 1997)

A Semantic Characterisation of the Correctness of a Proof Net. - Christian Retoré (Math. Struct. Comput. Sci., 1997)

Introduction. - Christian Retoré (J. Log. Lang. Inf., 1998)

Extending Lambek Grammars: a Logical Account of Minimalist Grammars. - Alain Lecomte; Christian Retoré (ACL, 2001)

Recent Issues in Categorial Grammar. - Christian Retoré (ACL (Companion Volume), 2001)

Logique linéaire et syntaxe des langues. (Linear logic and natural language syntax). - Christian Retoré (2002)

Handsome proof-nets: perfect matchings and cographs. - Christian Retoré (Theor. Comput. Sci., 2003)

Éditorial. - Sylvain Kahane; Christian Retoré; Pierre Zweigenbaum (Trait. Autom. des Langues, 2006)

Categorial Minimalist Grammar - Maxime Amblard; Alain Lecomte; Christian Retoré (CoRR, 2010)

Towards a Type-Theoretical Account of Lexical Semantics. - Christian Bassac; Bruno Mery; Christian Retoré (J. Log. Lang. Inf., 2010)

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars. - Christian Retoré; Sylvain Salvati (J. Log. Lang. Inf., 2010)

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). - Richard Moot; Laurent Prévot 001; Christian Retoré (TALN (Articles courts), 2011)

On the system F as a glue language for natural-language compositional-semantics - Christian Retoré (CoRR, 2011)

Specimens: "most of" generic NPs in a contextually flexible type theory - Christian Retoré (CoRR, 2011)

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]. - Anaïs Lefeuvre; Richard Moot; Christian Retoré; Noémie-Fleur Sandillon-Rezer (JEP-TALN-RECITAL, 2012)

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most - Christian Retoré (CoRR, 2012)

The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics - Richard Moot; Christian Retoré (Springer, 2012)

On the semantics of determiners in a rich type-theoretical framework (Sémantique des déterminants dans un cadre richement typé) [in French]. - Christian Retoré (TALN (1), 2013)

The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics. - Christian Retoré (TYPES, 2013)

Advances in the Logical Representation of Lexical Semantics. - Bruno Mery; Christian Retoré (CoRR, 2013)

Semantic Types, Lexical Sorts and Classifiers. - Bruno Mery; Christian Retoré (CoRR, 2013)

Logique mathématique et linguistique formelle. - Christian Retoré (CoRR, 2013)

The Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics - Christian Retoré (CoRR, 2013)

Some proof theoretical remarks on quantification in ordinary language - V. Michele Abrusci; Christian Retoré (CoRR, 2013)

Sémantique des déterminants dans un cadre richement typé - Christian Retoré (CoRR, 2013)

Type-theoretical natural language semantics: on the system F for meaning assembly - Christian Retoré (CoRR, 2013)

Learning Lambek Grammars from Proof Frames. - Roberto Bonato; Christian Retoré (Categories and Types in Logic, Language, and Physics, 2014)

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases. - Christian Retoré (FG, 2014)

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. - Bruno Mery; Richard Moot; Christian Retoré (JSAI-isAI Workshops, 2014)

Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic. - Maxime Amblard; Christian Retoré (CoRR, 2014)

Plurals: individuals and sets in a richly typed semantics. - Bruno Mery; Richard Moot; Christian Retoré (CoRR, 2014)

Deverbal semantics and the Montagovian generative lexicon. - Livy-Maria Real-Coelho; Christian Retoré (CoRR, 2014)

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture). - Christian Retoré (CoRR, 2014)

Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property. - Maxime Amblard; Christian Retoré (FLAP, 2014)

Category theory, logic and formal linguistics: Some connections, old and new. - Jean Gillibert; Christian Retoré (J. Appl. Log., 2014)

Deverbal Semantics and the Montagovian Generative Lexicon $$ Lambda ! mathsf {Ty}_n$$ Λ Ty n. - Livy Real; Christian Retoré (J. Log. Lang. Inf., 2014)

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, 2017)

Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics". - Stergios Chatzikyriakidis; Fabio Pasquali; Christian Retoré (FLAP, 2017)

From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers. - Stergios Chatzikyriakidis; Fabio Pasquali; Christian Retoré (FLAP, 2017)

An outline of type-theoretical approaches to lexical semantics. - Robin Cooper; Christian Retoré (J. Lang. Model., 2017)

Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. - Mehdi Mirzapour; Christian Retoré (Diagrams, 2018)

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. - Bruno Mery; Richard Moot; Christian Retoré (JSAI-isAI Workshops, 2018)

Natural Language Semantics and Computability. - Richard Moot; Christian Retoré (J. Log. Lang. Inf., 2019)

Inferential Semantics as Argumentative Dialogues. - Davide Catta; Luc Pellissier; Christian Retoré (DCAI (Special Sessions), 2020)

Pomset logic: a logical and grammatical alternative to the Lambek calculus. - Christian Retoré (CoRR, 2020)

Logical Semantics, Dialogical Argumentation, and Textual Entailment. - Davide Catta; Richard Moot; Christian Retoré (CoRR, 2020)

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces. - Christian Retoré (Linearity&TLLA@IJCAR-FSCD, 2020)

A Proof System for Dialogical Anaphora Resolution. - Davide Catta; Richard Moot; Christian Retoré; Symon Jory Stevens-Guille (AI³@AI*IA, 2022)

A Proof-Theoretical Approach to Some Extensions of First Order Quantification. - Loïc Allègre; Ophélie Lacroix; Christian Retoré (ARQNL@IJCAR, 2024)

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)