Identifiants chercheur

Nombre de documents

26

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.

Positions:

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

 Diploma: 

  • 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 revue8 documents

Communication dans un congrès11 documents

  • 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, 〈http://cjcsc.sciencesconf.org〉. 〈hal-01194934〉
  • 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〉
  • Bruno Mery, Richard Moot, 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, 〈https://sites.google.com/site/epsilon2015workshop/〉. 〈hal-01214439〉
  • 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, 〈http://discours.loria.fr/2015/〉. 〈hal-01341007〉
  • 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, Richard Moot, 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. 〈http://www.is.ocha.ac.jp/~bekki/lenls/〉. 〈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〉
  • Richard Moot, 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 or Invalid 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, Dossier2 documents

  • 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. Maxime Amblard; Philippe de Groote; Sylvain Pogodalla; Christian Retoré. LACL: Logical Aspects of Computational Linguistics, Dec 2016, Nancy, France. 10054, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-662-53826-5〉. 〈hal-01403271〉
  • Robin Cooper, Christian Retoré. Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics. Aug 2015, Barcelona, Spain. 2015. 〈hal-01584832v2〉

Rapport2 documents

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