Christian RETORÉ

Cited by

	All	Since 2019
Citations	2901	769
h-index	24	14
i10-index	53	15

180

135

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 7 42 33 39 81 50 58 79 91 113 51 92 114 81 43 80 123 107 111 161 145 88 147 129 154 119 159 161 112 64

Co-authors

Richard MootResearch Scientist, CNRS, LIRMM, University of MontpellierVerified email at lirmm.fr
Edward StablerUCLAVerified email at ucla.edu
Maxime AmblardUniversité de Lorraine - LORIAVerified email at univ-lorraine.fr
Philippe de GrooteDirecteur de Recherche, Inria, FranceVerified email at loria.fr
Laurent PrévotResearcher at CEFC, CNRS (Taiwan), Pr. Lang Sciences, Aix Marseille Univ (France)Verified email at univ-amu.fr
Glyn MorrillLecturer, Universitat Politècnica de CatalunyaVerified email at lsi.upc.edu
Mehdi MirzapourPh.D. in Computer Science (Montpellier University)Verified email at lirmm.fr
Anais Lefeuvre-HalftermeyerLaboratoire d'Informatique Fondamentale d'OrléansVerified email at univ-orleans.fr
Gregory M KobeleProfessor of Linguistics, Universität LeipzigVerified email at uni-leipzig.de
Stergios ChatzikyriakidisUniversity of CreteVerified email at uoc.gr
Mathieu LafourcadeLIRMMVerified email at lirmm.fr
Robin CooperProfessor emeritus, Senior Researcher, University of GothenburgVerified email at ling.gu.se
Eric Villemonte De la ClergerieINRIAVerified email at inria.fr
Aarne RantaProfessor of Computer Science, University of GothenburgVerified email at chalmers.se
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Marc DymetmanIndependent Researcher (Prev. Principal Scientist, NAVER Labs Europe)Verified email at naverlabs.com
Isabelle Tellieruniversité Paris 3 Sorbonne Nouvelle - LatticeVerified email at univ-paris3.fr
Erwan MoreauPostdoc at Adapt Centre, Trinity College Dublin, from 2011 to 2023Verified email at cs.tcd.ie
Renaud MarletSenior researcher at Ecole des Ponts ParisTech (ENPC) / Principal Scientist at Valeo.aiVerified email at enpc.fr
Arthur Capelier-MourguyPhD Student, Department of Psychology, Lancaster UniversityVerified email at lancaster.ac.uk

Christian RETORÉ

professeur d'informatique, université de Montpellier

Verified email at lirmm.fr - Homepage

mathematical logic computational linguistics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Derivational minimalism E Stabler International conference on logical aspects of computational linguistics, 68-95, 1996	699	1996
The logic of categorial grammars R Moot, C Retoré Springer LNCS, 2012	195*	2012
The logic of categorial grammars: a deductive account of natural language syntax and semantics Moot, Richard, C Retoré Springer, 2012	195	2012
Pomset logic: a non-commutative extension of classical linear logic C Retoré International Conference on Typed Lambda Calculi and Applications, 300-318, 1997	133	1997
The mix rule A Fleury, C Retoré Mathematical Structures in Computer Science 4 (2), 273-285, 1994	106	1994
A complete axiomatisation for the inclusion of series-parallel partial orders D Bechet, P De Groote, C Retoré International Conference on Rewriting Techniques and Applications, 230-240, 1997	89	1997
Réseaux et séquents ordonnés C Retoré Université Paris-Diderot-Paris VII, 1993	89	1993
Handsome proof-nets: perfect matchings and cographs C Retoré Theoretical Computer Science 294 (3), 473-488, 2003	86	2003
An automata-theoretic approach to minimalism GM Kobele, C Retoré, S Salvati Model theoretic syntax at 10, 71-80, 2007	77	2007
The Montagovian generative lexicon λTyn: a type theoretical framework for natural language semantics C Retoré 19th international conference on types for proofs and programs (TYPES 2013 …, 2014	71	2014
Towards a type-theoretical account of lexical semantics C Bassac, B Mery, C Retoré Journal of Logic, Language and Information 19, 229-245, 2010	66	2010
Proof nets for the Lambek calculus—an overview F Lamarche, C Retoré Proceedings of the Third Roma Workshop” Proofs and Linguistic Categories …, 1996	65	1996
On the semantic readings of proof-nets P De Groote, C Retoré Formal grammar 1996, 57--70, 1996	65	1996
Extending Lambek grammars: a logical account of minimalist grammars A Lecomte, C Retoré Proceedings of the 39th Annual Meeting of the Association for Computational …, 2001	64	2001
Calcul de Lambek et logique linéaire C Retoré Traitement Automatique des Langues 37 (2), 39-70, 1996	59	1996
Pomset logic as a calculus of directed cographs C Retoré INRIA, 1999	51	1999
Learning rigid lambek grammars and minimalist grammars from structured sentences R Bonato, C Retoré Third workshop on learning language in logic, Strasbourg 21, 431-454, 2001	45	2001
A semantic characterisation of the correctness of a proof net C Retoré Mathematical Structures in Computer Science 7 (5), 445-452, 1997	40	1997
Pomset logic as an alternative categorial grammar A Lecomte, C Retoré Formal Grammar, 181-196, 1995	37	1995
Generative grammars in resource logics C Retoré, E Stabler Research on Language and Computation 2, 3-25, 2004	32	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors