Christian RETORÉ

Cited by

	All	Since 2016
Citations	2523	720
h-index	24	11
i10-index	49	14

180

135

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202113 7 42 28 48 76 47 57 77 92 101 48 97 117 74 51 84 119 116 120 174 159 95 158 133 161 130 40

Co-authors

Richard MootResearch Scientist, CNRS, LIRMM, University of MontpellierVerified email at lirmm.fr
Edward StablerXerox PARC, and UCLAVerified email at ucla.edu
Maxime AmblardLoriaVerified email at loria.fr
Philippe de GrooteDirecteur de Recherche, Inria, FranceVerified email at loria.fr
Laurent PrévotProfessor in Language Sciences, Laboratoire Parole et Langage, Aix-Marseille UniversitéVerified email at univ-amu.fr
Glyn MorrillLecturer, Universitat Politècnica de CatalunyaVerified email at lsi.upc.edu
Gregory M KobeleProfessor of Linguistics, Universität LeipzigVerified email at uni-leipzig.de
Anais Lefeuvre-HalftermeyerLaboratoire d'Informatique Fondamentale d'OrléansVerified email at univ-orleans.fr
Mehdi MirzapourPh.D. in Computer Science (Montpellier University)Verified email at lirmm.fr
Stergios ChatzikyriakidisUniversity of GothenburgVerified email at gu.se
Mathieu LafourcadeLIRMMVerified email at lirmm.fr
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 DymetmanPrincipal Scientist, NAVER Labs europeVerified email at naverlabs.com
Robin CooperProfessor emeritus, Senior Researcher, University of GothenburgVerified email at ling.gu.se
Isabelle Tellieruniversité Paris 3 Sorbonne Nouvelle - LatticeVerified email at univ-paris3.fr
Erwan MoreauPostdoc at Adapt Centre, Trinity College DublinVerified 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	606	1996
The logic of categorial grammars R Moot, C Retoré Springer LNCS, 2012	141*	2012
The logic of categorial grammars: a deductive account of natural language syntax and semantics Moot, Richard, C Retoré Springer, 2012	141	2012
Pomset logic: a non-commutative extension of classical linear logic C Retoré International Conference on Typed Lambda Calculi and Applications, 300-318, 1997	112	1997
The mix rule A Fleury, C Retoré Mathematical Structures in Computer Science 4 (2), 273-285, 1994	84	1994
Réseaux et séquents ordonnés C Retoré Université Paris-Diderot-Paris VII, 1993	80	1993
Handsome proof-nets: perfect matchings and cographs C Retoré Theoretical Computer Science 294 (3), 473-488, 2003	66	2003
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	65	1997
Towards a type-theoretical account of lexical semantics C Bassac, B Mery, C Retoré Journal of Logic, Language and Information 19 (2), 229-245, 2010	64	2010
On the semantic readings of proof-nets P De Groote, C Retoré Formal grammar 1996, 57--70, 1996	62	1996
An automata-theoretic approach to minimalism GM Kobele, C Retoré, S Salvati Model theoretic syntax at 10, 71-80, 2007	61	2007
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	57	2001
Calcul de Lambek et logique linéaire C Retoré Traitement Automatique des Langues 37 (2), 39-70, 1996	54	1996
The montagovian generative lexicon lambda tyn: a type theoretical framework for natural language semantics C Retoré 19th International Conference on Types for Proofs and Programs (TYPES 2013 …, 2014	52	2014
Proof nets for the Lambek calculus—an overview F Lamarche, C Retoré Proceedings 1996 Roma Workshop. Proofs and Linguistic Categories, 241-262, 1996	52	1996
Learning rigid lambek grammars and minimalist grammars from structured sentences R Bonato, C Retoré Third workshop on learning language in logic, Strasbourg, 23-34, 2001	45	2001
Pomset logic as an alternative categorial grammar A Lecomte, C Retoré Formal Grammar, 181-196, 1995	39	1995
Meaning, logic and ludics A Lecomte World Scientific, 2011	38	2011
Pomset logic as a calculus of directed cographs C Retoré INRIA, 1999	35	1999
A semantic characterisation of the correctness of a proof net C Retoré Mathematical Structures in Computer Science 7 (5), 445-452, 1997	34	1997

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

Upload PDF

Follow this author

Cited by

Co-authors