Identifiants chercheur

Nombre de documents


Christian Retoré

After a PhD in mathematical logic supervised by Jean-Yves Girard i discovered the applications of linear logic and type theory to natural language syntax and semantics, and more recently to lexical semantics.


  • Professeur des universités, section informatique (U. Bordeaux 2003-2014, U. Montpellier 2014->) 
  • Chercheur INRIA (1994-1997 Nancy, Rennes 1997-2002, Bordeaux 2002-2003) 


  • Habilitation à diriger des recherches en informatique (U. Nantes, 2002) 
  • Doctorat de mathématiques (U. Paris 7 Denis Diderot, 1993, dir. J.-Y. Girard) 



Article dans une revue10 documents

Communication dans un congrès11 documents

  • Alda Mari, Christian Retoré. “Chaque vin a sa lie." versus “Toute nuit a un jour." --- does the difference in the human processing of " chaque" and " tout" match the difference between the proof rules for conjunction and quantification?. (In)coherence of Discourse, Dec 2015, Nancy, France. (In)coherence of Discourse 3, 2015, 〈〉. 〈hal-01341007〉
  • Arthur Capelier-Mourguy, Philippe Blache, Christian Retoré, Laurent Prevot. Quantifier scope: a formal and experimental study. CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France. 2015, 〈〉. 〈hal-01194934〉
  • Bruno Mery, , Christian Retoré. Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases. Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Aug 2015, Montpellier, France. 2015, 〈〉. 〈hal-01214439〉
  • Bruno Mery, Christian Retoré. Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment. Eric McReady. LENLS12: Logic and Engineering of Natural Language Semantics 12, Nov 2015, Tokyo, Japan. ISBN 978-4-915905-68-1, pp.74-87. 〈lirmm-01311120〉
  • Livy Real, Christian Retoré. A Case Study of Copredication over a Deverbal that Reconciles Empirical Data with Computational Semantics. Eric McReady. LENLS12: Logic and Engineering of Natural Language Semantics 12, Nov 2015, Tokyo, Japan. ISBN: 978-4-915905-68-1, 2015. 〈lirmm-01311129〉
  • Christian Retoré. Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture). Glyn Morrill; Frank Richter; Rainer Osswald; Reinhard Muskens. FG: Formal Grammar, Aug 2014, Tübingen, Germany. Springer, The 19th Conference on Formal Grammar will be held from August 16th to August 17th, 2014, in conjunction with the 26th European Summer School in Logic, Language and Information (ESSLLI 2014) in Tübingen, Germany., 8612, pp.15-33, 2014, LNCS. 〈10.1007/978-3-662-44121-3_2〉. 〈hal-01009753〉
  • Bruno Mery, , Christian Retoré. Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. Koji Mineshima. LENLS: Logic and Engineering of Natural Language Semantics, Nov 2014, Kanagawa, Japan. Keio University Press, JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers The Eleventh International Workshop of Logic and Engineering of Natural Language Semantics 11 (LENLS11), LNCS (9067), pp.144-159, 2015, New Frontiers in Artificial Intelligence. 〈〉. 〈10.1007/978-3-662-48119-6_11〉. 〈hal-01098748〉
  • Christian Retoré. Type-theoretical natural language semantics: on the system F for meaning assembly. Conference of the Types Project - TYPES 2013, Apr 2013, Toulouse, France. pp. 64-65, 2013. 〈hal-01152653〉
  • Christian Retoré. The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics. TYPES: International Workshop on Types and Proofs for Programs, Apr 2013, Toulouse, France. pp.202-229, 2014. 〈hal-01145821〉
  • , Laurent Prevot, Christian Retoré. Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyage. TALN 2011, 2011, Unknown, Unknown Region. 2011. 〈hal-01231917〉
  • Maxime Amblard, Alain Lecomte, Christian Retoré. Syntax and Semantics interacting in a Minimalist theory. Prospect and advance in the syntax/semantic interface, Jan 2004, Nancy, France. 〈hal-01079278〉

Poster1 document

  • Maxime Amblard, Greg Kobele, Christian Retoré. Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues. ARCo, Mar 2006, Bordeaux, France. 2006. 〈hal-01079258〉

Chapitre d'ouvrage2 documents

  • Bruno Mery, Christian Retoré. Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics. Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. 〈10.1007/978-3-319-50422-3_7〉. 〈hal-01471256〉
  • Roberto Bonato, Christian Retoré. Learning Lambek grammars from proof frames. Claudia Casadio; Bob Coecke; M. Moortgat; Ph. Scott. Categories and types in logic, language and physics -- Festschrift on the occasion of Jim Lambek's 90th birthday, Springer, pp.108-135, 2014, Lecture Notes in Computer Science, 978-3-642-54788-1. 〈10.1007/978-3-642-54789-8_7〉. 〈hal-00923897〉

Direction d'ouvrage, Proceedings, Dossier6 documents

Rapport2 documents

  • Christian Retoré, . Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation. [Research Report] LIRMM; LABRI. 2016. 〈lirmm-01281243〉
  • , Christian Retoré. Natural Language Semantics and Computability. [Research Report] LIRMM; LaBRI - Laboratoire Bordelais de Recherche en Informatique; CNRS. 2016. 〈hal-01315316〉