Christian Retoré - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2024

New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in FrenchMaximos Skandalis, Richard Moot, Christian Retoré, Simon Robillard. COLING 2024: 12173-12186 [doi]

2022

A Proof System for Dialogical Anaphora ResolutionDavide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille. aiia 2023: [doi]

2020

Inferential Semantics as Argumentative DialoguesDavide Catta, Luc Pellissier, Christian Retoré. dcai 2021: 72-81 [doi]

2019

Natural Language Semantics and ComputabilityRichard Moot, Christian Retoré. jolli, 28(2):287-307, 2019. [doi]

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 BookshopBruno Mery, Richard Moot, Christian Retoré. jsai 2019: 298-312 [doi]

Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New AlgorithmMehdi Mirzapour, Christian Retoré. diagrams 2018: 716-720 [doi]

2017

2014

Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula PropertyMaxime Amblard, Christian Retoré. flap, 1(1):53-94, 2014. [doi]

Learning Lambek Grammars from Proof FramesRoberto Bonato, Christian Retoré. BIRTHDAY 2014: 108-135 [doi]

Category theory, logic and formal linguistics: Some connections, old and newJean Gillibert, Christian Retoré. japll, 12(1):1-13, 2014. [doi]

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted TypesBruno Mery, Richard Moot, Christian Retoré. jsai 2015: 144-159 [doi]

Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty nLivy Real, Christian Retoré. jolli, 23(3):347-366, 2014. [doi]

Typed Hilbert Epsilon Operators and the Semantics of Determiner PhrasesChristian Retoré. fg 2014: 15-33 [doi]

2013

The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language SemanticsChristian Retoré. TYPES 2014: 202-229 [doi]

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 2013: 367-380 [doi]

2012

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. taln 2012: 43-56 [doi]

The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and SemanticsRichard Moot, Christian Retoré. Volume 6850 of Lecture Notes in Computer Science, Springer, 2012. [doi]

2011

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 0001, Christian Retoré. taln 2011: 158-163 [doi]

2010

Towards a Type-Theoretical Account of Lexical SemanticsChristian Bassac, Bruno Mery, Christian Retoré. jolli, 19(2):229-245, 2010. [doi]

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial GrammarsChristian Retoré, Sylvain Salvati. jolli, 19(2):185-200, 2010. [doi]

2006

ÉditorialSylvain Kahane, Christian Retoré, Pierre Zweigenbaum. tal, 47(3):7-9, 2006. [doi]

ÉditorialSylvain Kahane, Christian Retoré, Pierre Zweigenbaum. tal, 47(1):7-9, 2006. [doi]

2003

Handsome proof-nets: perfect matchings and cographsChristian Retoré. TCS, 294(3):473-488, 2003.

2002

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

2001

Extending Lambek Grammars: a Logical Account of Minimalist GrammarsAlain Lecomte, Christian Retoré. acl 2001: 354-361 [doi]

Recent Issues in Categorial GrammarChristian Retoré. acl 2001: 3

1998

IntroductionChristian Retoré. jolli, 7(4):395-398, 1998.

1997

A Complete Axiomatisation for the Inclusion of Series-Parallel Partial OrdersDenis Béchet, Philippe de Groote, Christian Retoré. RTA 1997: 230-240

A Non-commutative Extension of Classical Linear LogicChristian Retoré, Pomset Logic. tlca 1997: 300-318

A Semantic Characterisation of the Correctness of a Proof NetChristian Retoré. mscs, 7(5):445-452, 1997.

1996

Logical Aspects of Computational Linguistics: An IntroductionPatrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie. lacl 1997: 1-20 [doi]

Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphsChristian Retoré. ENTCS, 3:167-182, 1996. [doi]

1994

The Mix RuleArnaud Fleury, Christian Retoré. mscs, 4(2):273-285, 1994.

1993

Réseaux et séquents ordonnés. (Ordered sequents and proof nets)Christian Retoré. PhD thesis, Paris Diderot University, France, 1993. [doi]

Sign in or sign up to see more results.

runs on WebDSL