default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristian Retoré
Person information
- affiliation: Université de Montpellier, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c21]Loïc Allègre, Ophélie Lacroix, Christian Retoré:
A Proof-Theoretical Approach to Some Extensions of First Order Quantification. ARQNL@IJCAR 2024: 92-107- [c20]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: 12173-12186 - [i21]Loïc Allègre, Ophélie Lacroix, Christian Retoré:
A proof-theoretical approach to some extensions of first order quantification. CoRR abs/2407.09865 (2024) - 2022
- [c19]Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille:
A Proof System for Dialogical Anaphora Resolution. AI³@AI*IA 2022 - 2020
- [c18]Davide Catta, Luc Pellissier
, Christian Retoré:
Inferential Semantics as Argumentative Dialogues. DCAI (Special Sessions) 2020: 72-81 - [c17]Christian Retoré:
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces. Linearity&TLLA@IJCAR-FSCD 2020: 157-174 - [i20]Christian Retoré:
Pomset logic: a logical and grammatical alternative to the Lambek calculus. CoRR abs/2001.02155 (2020) - [i19]Davide Catta, Richard Moot, Christian Retoré:
Logical Semantics, Dialogical Argumentation, and Textual Entailment. CoRR abs/2008.07138 (2020)
2010 – 2019
- 2019
- [j15]Richard Moot, Christian Retoré:
Natural Language Semantics and Computability. J. Log. Lang. Inf. 28(2): 287-307 (2019) - 2018
- [c16]Mehdi Mirzapour, Christian Retoré:
Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. Diagrams 2018: 716-720 - [c15]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: 298-312 - 2017
- [j14]Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré:
Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics". FLAP 4(2) (2017) - [j13]Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré:
From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers. FLAP 4(2) (2017) - [j12]Robin Cooper, Christian Retoré:
An outline of type-theoretical approaches to lexical semantics. J. Lang. Model. 5(2): 165-178 (2017) - [c14]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: 214-230 - [e6]Claire Gardent, Christian Retoré:
IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017. The Association for Computer Linguistics 2017 [contents] - [e5]Claire Gardent, Christian Retoré:
IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19 - 22, 2017. The Association for Computer Linguistics 2017 [contents] - 2016
- [e4]Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré:
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Lecture Notes in Computer Science 10054, 2016, ISBN 978-3-662-53825-8 [contents] - [i18]Richard Moot, Christian Retoré:
Natural Language Semantics and Computability. CoRR abs/1605.04122 (2016) - 2014
- [j11]Maxime Amblard, Christian Retoré:
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property. FLAP 1(1): 53-94 (2014) - [j10]Jean Gillibert, Christian Retoré:
Category theory, logic and formal linguistics: Some connections, old and new. J. Appl. Log. 12(1): 1-13 (2014) - [j9]Livy Real, Christian Retoré:
Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n. J. Log. Lang. Inf. 23(3): 347-366 (2014) - [c13]Roberto Bonato, Christian Retoré:
Learning Lambek Grammars from Proof Frames. Categories and Types in Logic, Language, and Physics 2014: 108-135 - [c12]Christian Retoré:
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases. FG 2014: 15-33 - [c11]Bruno Mery, Richard Moot, Christian Retoré:
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. JSAI-isAI Workshops 2014: 144-159 - [i17]Bruno Mery, Richard Moot, Christian Retoré:
Plurals: individuals and sets in a richly typed semantics. CoRR abs/1401.0660 (2014) - [i16]Livy-Maria Real-Coelho, Christian Retoré:
Deverbal semantics and the Montagovian generative lexicon. CoRR abs/1401.6573 (2014) - [i15]Jean Gillibert, Christian Retoré:
Category theory, logic and formal linguistics: some connections, old and new. CoRR abs/1401.6574 (2014) - [i14]Maxime Amblard, Christian Retoré:
Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic. CoRR abs/1402.0474 (2014) - [i13]Christian Retoré:
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture). CoRR abs/1406.4710 (2014) - 2013
- [c10]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: 367-380 - [c9]Christian Retoré:
The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics. TYPES 2013: 202-229 - [i12]Christian Retoré:
The Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics. CoRR abs/1301.4938 (2013) - [i11]V. Michele Abrusci, Christian Retoré:
Some proof theoretical remarks on quantification in ordinary language. CoRR abs/1301.5304 (2013) - [i10]Christian Retoré:
Sémantique des déterminants dans un cadre richement typé. CoRR abs/1302.1422 (2013) - [i9]Christian Retoré:
Type-theoretical natural language semantics: on the system F for meaning assembly. CoRR abs/1303.3036 (2013) - [i8]Bruno Mery, Christian Retoré:
Advances in the Logical Representation of Lexical Semantics. CoRR abs/1309.1014 (2013) - [i7]Roberto Bonato, Christian Retoré:
Learning Lambek grammars from proof frames. CoRR abs/1310.0576 (2013) - [i6]Christian Retoré:
Logique mathématique et linguistique formelle. CoRR abs/1311.1897 (2013) - [i5]Bruno Mery, Christian Retoré:
Semantic Types, Lexical Sorts and Classifiers. CoRR abs/1312.3168 (2013) - 2012
- [b3]Richard Moot, Christian Retoré:
The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics. Lecture Notes in Computer Science 6850, Springer 2012, ISBN 978-3-642-31554-1 - [c8]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: 43-56 - [i4]Christian Retoré:
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most. CoRR abs/1203.1743 (2012) - 2011
- [c7]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: 158-163 - [e3]Sylvain Pogodalla, Myriam Quatrini, Christian Retoré:
Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 6700, Springer 2011, ISBN 978-3-642-21489-9 [contents] - [i3]Christian Retoré:
On the system F as a glue language for natural-language compositional-semantics. CoRR abs/1108.5084 (2011) - [i2]Christian Retoré:
Specimens: "most of" generic NPs in a contextually flexible type theory. CoRR abs/1111.1378 (2011) - 2010
- [j8]Christian Retoré, Sylvain Salvati:
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars. J. Log. Lang. Inf. 19(2): 185-200 (2010) - [j7]Christian Bassac, Bruno Mery, Christian Retoré:
Towards a Type-Theoretical Account of Lexical Semantics. J. Log. Lang. Inf. 19(2): 229-245 (2010) - [i1]Maxime Amblard, Alain Lecomte, Christian Retoré:
Categorial Minimalist Grammar. CoRR abs/1012.2661 (2010)
2000 – 2009
- 2006
- [j6]Sylvain Kahane, Christian Retoré, Pierre Zweigenbaum:
Éditorial. Trait. Autom. des Langues 47(1): 7-9 (2006) - [j5]Sylvain Kahane, Christian Retoré, Pierre Zweigenbaum:
Éditorial. Trait. Autom. des Langues 47(3): 7-9 (2006) - 2003
- [j4]Christian Retoré:
Handsome proof-nets: perfect matchings and cographs. Theor. Comput. Sci. 294(3): 473-488 (2003) - 2002
- [b2]Christian Retoré:
Logique linéaire et syntaxe des langues. (Linear logic and natural language syntax). University of Nantes, France, 2002 - 2001
- [c6]Christian Retoré:
Recent Issues in Categorial Grammar. ACL (Companion Volume) 2001: 3 - [c5]Alain Lecomte, Christian Retoré:
Extending Lambek Grammars: a Logical Account of Minimalist Grammars. ACL 2001: 354-361 - [e2]Philippe de Groote, Glyn Morrill, Christian Retoré:
Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings. Lecture Notes in Computer Science 2099, Springer 2001, ISBN 3-540-42273-0 [contents]
1990 – 1999
- 1998
- [j3]Christian Retoré:
Introduction. J. Log. Lang. Inf. 7(4): 395-398 (1998) - 1997
- [j2]Christian Retoré:
A Semantic Characterisation of the Correctness of a Proof Net. Math. Struct. Comput. Sci. 7(5): 445-452 (1997) - [c4]Denis Béchet, Philippe de Groote, Christian Retoré:
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. RTA 1997: 230-240 - [c3]Christian Retoré:
Pomset Logic: A Non-commutative Extension of Classical Linear Logic. TLCA 1997: 300-318 - [e1]Christian Retoré:
Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers. Lecture Notes in Computer Science 1328, Springer 1997, ISBN 3-540-63700-1 [contents] - 1996
- [c2]Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Éric Villemonte de la Clergerie:
Logical Aspects of Computational Linguistics: An Introduction. LACL 1996: 1-20 - [c1]Christian Retoré:
Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. Linear Logic Tokyo Meeting 1996: 167-182 - 1994
- [j1]Arnaud Fleury, Christian Retoré:
The Mix Rule. Math. Struct. Comput. Sci. 4(2): 273-285 (1994) - 1993
- [b1]Christian Retoré:
Réseaux et séquents ordonnés. (Ordered sequents and proof nets). Paris Diderot University, France, 1993
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
