Keywords

Researcher identifiers

Export Publications

Export the displayed publications:
Number of documents

106

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 (Lambek grammars) and semantics (à la Montague). I later focused on logic applied  to semantics (compositonal semantics and lexical semantics with variables types) . More recently i have been studying the expression of logical operators in natural langage (in particular quantifiers), and i am planning to study the relation between natural language semantics and logical argumentation — and on a par extending and proving mathematical properties of the involved logical models.  

 

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)


Journal articles24 documents

  • Richard Moot, Christian Retoré. Natural Language Semantics and Computability. Journal of Logic, Language and Information, Springer Verlag, 2019, ⟨https://link.springer.com/article/10.1007/s10849-019-09290-7⟩. ⟨10.1007/s10849-019-09290-7⟩. ⟨hal-01315316⟩
  • Christian Retoré. L'APPROCHE LOGIQUE DES GRAMMAIRES CATÉGORIELLES : UNE SYNTAXE TOURNÉE VERS LA SÉMANTIQUE. Verbum (Presses Universitaires de Nancy), Université de Nancy II, 2018, XL (2), pp.237-267. ⟨hal-02093509⟩
  • Christian Retoré. La langue commune au cœur du raisonnement, notamment mathématique. Images des Mathématiques, CNRS, 2017, La tribune des mathématiciens -- Mathématiques et langages : le feuilleton de l’automne, ⟨http://images.math.cnrs.fr/La-langue-commune-au-coeur-du-raisonnement-notamment-mathematique.html⟩. ⟨hal-01803739⟩
  • Robin Cooper, Christian Retoré. An outline of type-theoretical approaches to lexical semantics. Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), pp.165-178. ⟨10.15398/jlm.v5i2.200⟩. ⟨hal-01802968⟩
  • Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré. From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers. IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256. ⟨http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf⟩. ⟨hal-01803717⟩
  • Alda Mari, Christian Retoré. Conditions d’assertion de "chaque" et de "tout" et règles de déduction du quantificateur universel. Travaux de Linguistique : Revue Internationale de Linguistique Française, De Boeck Université, 2016, 72, pp.89-106. ⟨10.3917/tl.072.0089 ⟩. ⟨hal-01471265⟩
  • Michele Abrusci, Fabio Pasquali, Christian Retoré. Quantification in Ordinary Language and Proof Theory. Philosophia Scientiae, Paris; Editions Kime; [2014], 2016, pp.185-205. ⟨http://www.cairn.info/revue-philosophia-scientiae-2016-1-page-185.htm⟩. ⟨10.4000/philosophiascientiae.1163⟩. ⟨lirmm-01348023⟩
  • Christian Retoré, Gilles Zémor. Recension de "La déesse des petites victoires" Yannick Grannec (Editions Anne Carrière, 2012). Gazette des Mathématiciens, Société Mathématique de France, 2014, pp.113-116. ⟨hal-01009778⟩
  • Maxime Amblard, Christian Retoré. Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property. IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94. ⟨http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf⟩. ⟨hal-01071642⟩
  • Thomas Seiller, Christian Retoré. Recension de "The blind spot. Lectures on logic" par J.-Y. Girard (European Mathematical Society, 2011).. Gazette des Mathématiciens, Société Mathématique de France, 2014, 142, pp.136-143. ⟨hal-01076369⟩
  • Livy-Maria Real-Coelho, Christian Retoré. Deverbal semantics and the Montagovian generative lexicon ΛTyn. Journal of Logic, Language and Information, Springer Verlag, 2014, 23 (3), pp.347-366. ⟨10.1007/s10849-014-9187-y⟩. ⟨hal-01120689⟩
  • Christian Retoré. A natural framework for natural language semantics: many sorted logic and Hilbert operators in type theory. Bulletin of Symbolic Logic, Association for Symbolic Logic, 2014, 20 (2), pp.241-241. ⟨10.1017/bsl.2014.10⟩. ⟨hal-01044820⟩
  • Jean Gillibert, Christian Retoré. Category theory, logic and formal linguistics: some connections, old and new. Journal of Applied Logic, Elsevier, 2014, 12 (1), pp.1-13. ⟨10.1016/j.jal.2014.01.001⟩. ⟨hal-00936338⟩
  • Christian Retoré, . Note de lecture sur "Discourse processing" de Manfred Stede. Traitement Automatique des Langues, ATALA, 2013, 53 (2), pp.214--217. ⟨hal-00820178⟩
  • Christian Retoré. Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most". Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2012, 41, pp.83-102. 〈hal-00677312〉
  • Maxime Amblard, Alain Lecomte, Christian Retoré. Categorial Minimalist Grammar: From Generative Syntax To Logical Form. Linguistic Analysis, David R. Willingham, 2010, 36 (1--4), pp.273--306. 〈hal-00545748〉
  • Christian Bassac, Bruno Mery, Christian Retoré. Towards a Type-Theoretical Account of Lexical Semantics. Journal of Logic, Language and Information, Springer Verlag, 2010, pp.229-245. ⟨inria-00408308⟩
  • Christian Retoré, Sylvain Salvati. A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars. Journal of Logic, Language and Information, Springer Verlag, 2010, 19 (2), pp.185--200. ⟨inria-00409557⟩
  • Christian Retoré. Note de lecture sur Two-Step Approaches to Natural Language Formalisms de Frank Morawietz. Traitement Automatique des Langues, ATALA, 2009, 48 (3), pp.227--229. ⟨hal-00306394⟩
  • Christian Retoré. Les mathématiques de la linguistique computationnelle. Premier volet: la théorie des langages. Gazette des Mathématiciens, Société Mathématique de France, 2008, pp.35--62. ⟨hal-00306392⟩
  • Christian Retoré. Les mathématiques de la linguistique computationnelle. Second volet: Logique. Gazette des Mathématiciens, Société Mathématique de France, 2008, pp.29--63. ⟨hal-00306391⟩
  • Denis Bechet, Roberto Bonato, Alexandre Dikovsky, Annie Foret, Yannick Le Nir, et al.. Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes. Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2007, 36, pp.123--152. ⟨hal-00354043⟩
  • Richard Moot, Christian Retoré. Les indices pronominaux du français dans les grammaires catégorielles. Lingvisticae Investigationes, Philadelphia; Amsterdam: John Benjamins, 2006, 27 (1), pp.137-146. ⟨hal-00278791⟩
  • Christian Retoré. Systèmes déductifs et traitement des langues: un panorama des grammaires catégorielles. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2001, 20 (3), pp.301--336. ⟨hal-00442246⟩

Conference papers45 documents

  • Mehdi Mirzapour, Christian Retoré. Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. Diagrams: Diagrammatic Representation and Inference, Jun 2018, Edinburgh, United Kingdom. pp.716-720, ⟨10.1007/978-3-319-91376-6_66⟩. ⟨lirmm-01916122⟩
  • Mehdi Mirzapour, Jean-Philippe Prost, Christian Retoré. Categorial Proof Nets and Dependency Locality: A New Metric for Linguistic Complexity. LACompLing: Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. pp.73-86. ⟨lirmm-01916104⟩
  • Bruno Mery, Richard Moot, Christian Retoré. Polysemy, Individuation and Co-Predication: a simple solution to the counting puzzle implemented using lambda-DRT and MGL. LENLS: Logic and Engineering of Natural Language Semantics, Nov 2018, Yokohama, Japan. ⟨lirmm-01916255⟩
  • Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot, Christian Retoré. Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis. LENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan. ⟨lirmm-01916195⟩
  • Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot, Christian Retoré. Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis. isAI: International Symposium on Artificial Intelligence, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩. ⟨lirmm-01916209⟩
  • Bruno Mery, Christian Retoré. Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment. LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. pp.74-87. ⟨lirmm-01311120⟩
  • Livy Real, Christian Retoré. A Case Study of Copredication over a Deverbal that Reconciles Empirical Data with Computational Semantics. LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. ⟨lirmm-01311129⟩
  • 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, M. Amblard; M. Musiol; M. Rebuschi, Dec 2015, Nancy, France. ⟨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. ⟨hal-01194934⟩
  • 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, Christian Retoré; Stergios Chatzikyriakidis; Fabio Pasquali, Aug 2015, Montpellier, France. ⟨hal-01214439⟩
  • Bruno Mery, Richard Moot, Christian Retoré. Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. LENLS: Logic and Engineering of Natural Language Semantics, JSAI / isAI, Nov 2014, Kanagawa, Japan. pp.144-159, ⟨10.1007/978-3-662-48119-6_11⟩. ⟨hal-01098748⟩
  • Christian Retoré. Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases. FG: Formal Grammar, Aug 2014, Tübingen, Germany. pp.15-33, ⟨10.1007/978-3-662-44121-3_2⟩. ⟨hal-01009753⟩
  • 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. ⟨hal-01152653⟩
  • Bruno Mery, Christian Retoré. Advances in the Logical Representation of Lexical Semantics. NLCS'13 - Natural Language and Computer Science - 2013, Jun 2013, New Orleans, United States. ⟨hal-00858020⟩
  • Bruno Mery, Christian Retoré. Semantic Types, Lexical Sorts and Classifiers. NLPCS '10- 10th International Workshop on Natural Language Processing and Computer Science - 2013, Oct 2013, Marseille, France. ⟨hal-00916722⟩
  • Christian Retoré. Sémantique des déterminants dans un cadre richement typé. Traitement Automatique du Langage Naturel 2013, Jun 2013, Les Sables d'Olonnes, France. http://aclweb.org/anthology-new/. ⟨hal-00785656v2⟩
  • Bruno Mery, , Christian Retoré. Plurals: individuals and sets in a richly typed semantics. LENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013, jSAI-ISAI, Oct 2013, Hiyoshi, Kanagawa, Japan. pp.143-156. ⟨hal-00923556⟩
  • Christian Retoré. Type-theoretical natural language semantics: on the system F for meaning assembly. TYPES 2013, Apr 2013, Toulouse, France. pp.64--65. ⟨hal-00799685⟩
  • 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. ⟨hal-01145821⟩
  • Christian Retoré. The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics. TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩. ⟨hal-01009838⟩
  • Livy-Maria Real-Coelho, Christian Retoré. A Generative Montagovian Lexicon for Polysemous Deverbal Nouns. 4th world congress on Universal Logic -- workshop on Logic and linguistics, Apr 2013, Rio de Janeiro, Brazil. http://www.uni-log.org/. ⟨hal-00760380⟩
  • Anaïs Lefeuvre, Richard Moot, Christian Retoré. Traitement automatique d'un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types. 3e Congrès Mondial de Linguistique Française, Jul 2012, Lyon, France. pp. 2485-2497. ⟨hal-00750750⟩
  • 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. JEP-TALN-RECITAL 2012, Jun 2012, Grenoble, France. pp. 43-56. ⟨hal-00749374⟩
  • Richard Moot, Christian Retoré. Second order lambda calculus for meaning assembly: on the logical syntax of plurals. Coconat, Dec 2011, Tilburg, Netherlands. ⟨hal-00650644⟩
  • , 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. ⟨hal-01231917⟩
  • Christian Retoré. Specimens: "most of" generic NPs in a contextually flexible type theory. Genius III, Dec 2011, Paris, France. ⟨inria-00637326v2⟩
  • Michele Abrusci, Christian Retoré. Quantification in ordinary language: from a critique of set-theoretic approaches to a proof-theoretic proposal. 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul 2011, Nancy, France. http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf. ⟨hal-00607678⟩
  • 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 voyages. 18e conférence sur le traitement automatique du langage naturel, TALN 2011, Jun 2011, Montpellier, France. pp.161--166. ⟨hal-00607690⟩
  • Richard Moot, Laurent Prévot, Christian Retoré. A discursive analysis of itineraries in an historical and regional corpus of travels: syntax, semantics, and pragmatics in a unified type theoretical framework. Constraints in discourse, Sep 2011, Ayay-roches-rouges, France. http://passage.inria.fr/cid2011/doku.php. ⟨hal-00607691⟩
  • Michele Abrusci, Christian Retoré. Quantification and interaction. Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France. ⟨hal-00607676⟩
  • Christian Retoré. Talking and understanding: cognitive processes and computational models of the language faculty. Cognitique / cognitics, Dec 2010, France. ⟨hal-00607692⟩
  • Daniele Porello, Christian Retoré. Proof nets without links for Lambek calculus and partially commutative linear logic. 50 years of the Syntactic calculus, Jul 2008, Chieti, Italy. ⟨hal-00409487⟩
  • Christian Retoré, Sylvain Salvati. Non-Associative Categorial Grammars and Abstract Categorial Grammars. New Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58. ⟨hal-00306393⟩
  • Gregory Kobele, Christian Retoré, Sylvain Salvati. An Automata-Theoretic Approach to Minimalism. Model Theoretic Syntax at 10, Aug 2007, Ireland. pp.73--82. ⟨hal-00306226⟩
  • Bruno Mery, Christian Bassac, Christian Retoré. A Montague-based model of Generative Lexical Semantics. Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), FoLLI, Aug 2007, Dublin, Ireland. pp.90-97. ⟨inria-00287343⟩
  • Maxime Amblard, Christian Retoré. Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product. Computation and Logic in the Real World (Computing in Europe 2007), Jun 2007, Siena, Italy. pp.28--44. ⟨hal-00409486⟩
  • Bruno Mery, Christian Bassac, Christian Retoré. A Montagovian Generative Lexicon. 12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland. ⟨inria-00287340⟩
  • Christian Retoré. On the trees underlying natural language sentences. Colloquium in honor of Gérard Huet, Jun 2007, Paris, France. ⟨hal-00416232⟩
  • Christian Retoré. Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla). GEOCAL Workshop on logic and linguistics, Feb 2006, Marseille, France. ⟨hal-00418580⟩
  • 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⟩
  • Richard Moot, Christian Retoré. L'ordre des mots dans les grammaires catégorielles. Pré-Actes des Journées de la syntaxe: ordre des mots dans la phrase française, positions et topologie, 2004, Bordeaux, France. pp.56-59. ⟨hal-00012407⟩
  • Maxime Amblard, Alain Lecomte, Christian Retoré. L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles. Journée de Sémantique et Modélisation, Mar 2004, Lyon, France. ⟨hal-01079275⟩
  • François Lamarche, Christian Retoré. Proof Nets for the Lambek Calculus - an overview. Third Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262. ⟨inria-00098442⟩
  • Alain Lecomte, Christian Retoré. Words as modules: a lexicalised grammar in the framework of linear logic proof nets.. Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, pp.129-144. ⟨inria-00098440⟩
  • Philippe de Groote, Christian Retoré. On the semantic readings of proof-nets. Formal grammar 1996, 1996, Prague, Czech Republic. pp.57--70. ⟨hal-00823554⟩

Poster communications2 documents

  • Davide Catta, Alda Mari, Christian Retoré. Sentence meaning as argumentative dialogues. SEMDIAL 2018 (AixDial), The 22nd workshop on the Semantics and Pragmatics of Dialogue, Nov 2018, Aix-en-Provence, France. ⟨hal-02150083⟩
  • Maxime Amblard, Greg Kobele, Christian Retoré. Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues. ARCo, Mar 2006, Bordeaux, France. 2006. ⟨hal-01079258⟩

Books1 document

  • Christian Retoré, Richard Moot. The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics. Springer, pp.322, 2012, FoLLI-LNCS, 978-3-642-31554-1. ⟨hal-00829051⟩

Book sections6 documents

  • Anaïs Lefeuvre-Halftermeyer, Richard Moot, Christian Retoré. A computational account of virtual travelers in the Montagovian generative lexicon. Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩. ⟨https://benjamins.com/catalog/hcp.66.09lef⟩. ⟨hal-02093536⟩
  • Mehdi Mirzapour, Jean-Philippe Prost, Christian Retoré. Measuring Linguistic Complexity: Introducing a New Categorial Metric. Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing, In press, Studies in Computational Intelligence. ⟨hal-02146506⟩
  • 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⟩
  • Christian Retoré. Logique mathématique et linguistique formelle. Géraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013. ⟨hal-00607693⟩
  • Christian Retoré. Syntaxe et traitement automatique des langues. F. Lambert et H. Nolke. La syntaxe au cœur de la grammaire, mélanges offerts à Claude Muller, Presses Universitaires de Rennes, pp.271--286, 2005, Rivages linguistiques. ⟨hal-00354049⟩

Directions of work or proceedings8 documents

  • Claire Gardent, Christian Retoré. Proceedings of the 12th International Conference on Computational Semantics (IWCS 2017) - Long papers. IWCS: International Conference on Computational Semantics, Sep 2017, Montpellier, France. W17-68, 2017. ⟨hal-01803753⟩
  • Christian Retoré, Claire Gardent. Proceedings of the 12th International Conference on Computational Semantics (IWCS 2017) — Short papers. IWCS: International Conference on Computational Semantics, Sep 2017, Montpellier, France. 2017, ⟨https://aclanthology.coli.uni-saarland.de/papers/W17-6900/w17-6900⟩. ⟨hal-01803755⟩
  • Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré. Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics. France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017, ⟨http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf⟩. ⟨hal-01803760⟩
  • Robin Cooper, Christian Retoré. Special issue on type-theoretical approaches to lexical semantics. France. Journal of Language Modelling, 5 (2 ), 2017, ⟨http://jlm.ipipan.waw.pl/index.php/JLM/issue/view/16⟩. ⟨hal-01803758⟩
  • 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⟩
  • Sylvain Pogodalla, Myriam Quatrini, Christian Retoré. Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday. Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. France. 6700, Springer, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. ⟨10.1007/978-3-642-21490-5⟩. ⟨inria-00607880⟩
  • Philippe de Groote, Glyn Morrill, Christian Retoré. Logical Aspects of Computational Linguistics. Springer, 310 p, 2001, Lecture Notres in Artificial Intelligence. ⟨inria-00100530⟩

Preprints, Working Papers, ...2 documents

  • Christian Retoré. On the system F as a glue language for natural-language compositional-semantics. 2011. ⟨inria-00616704⟩
  • Maxime Amblard, Christian Retoré. Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic. 2007. ⟨hal-00941206⟩

Reports16 documents

  • Richard Moot, 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é. A type theoretical framework for natural language semantics: the Montagovian generative lexicon. 2013. ⟨hal-00779214v2⟩
  • Michele Abrusci, Christian Retoré. Some proof theoretical remarks on quantification in ordinary language. 2013. ⟨hal-00779223⟩
  • Jules Vanier, Christian Bassac, Patrick Henry, Renaud Marlet, Christian Retoré. Toward a knowledge representation model dedicated to the semantic analysis of the sentence. [Rapport de recherche] RR-5951, INRIA. 2006, pp.46. ⟨inria-00084245v4⟩
  • Bruno Mery, Maxime Amblard, Irène Durand, Christian Retoré. A Case Study of the Convergence of Mildly Context-Sensitive Formalisms for Natural Language Syntax: from Minimalist Grammars to Multiple Context-Free Grammars. [Research Report] RR-6042, INRIA. 2006, pp.67. ⟨inria-00117306v3⟩
  • Christian Retoré. Syntaxe et Traitement Automatique des Langues. RR-5459, INRIA. 2005, pp.16. ⟨inria-00070547⟩
  • Christian Retoré. The Logic of Categorial Grammars: Lecture Notes. RR-5703, INRIA. 2005, pp.105. ⟨inria-00070313⟩
  • Sylvain Pogodalla, Christian Retoré. Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits. [Research Report] RR-5409, INRIA. 2004, pp.25. ⟨inria-00071248⟩
  • Christian Retoré. Petri Nets Step Transitions and Proofs in Partially Commutative Linear Logic. [Research Report] RR-4288, INRIA. 2001. ⟨inria-00072299⟩
  • Christian Retoré. Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles. [Rapport de recherche] RR-3917, INRIA. 2000. ⟨inria-00072736⟩
  • Christian Retoré. Pomset Logic as a Calculus of Directed Cographs. [Research Report] RR-3714, INRIA. 1999. ⟨inria-00072953⟩
  • Christian Retoré, Edward Stabler. Resource Logics and Minimalist Grammars. [Research Report] RR-3780, INRIA. 1999. ⟨inria-00072881⟩
  • Christian Retoré. Handsome Proof-nets: R&B-Graphs, Perfect Matchings and Series-parallel Graphs. [Research Report] RR-3652, INRIA. 1999. ⟨inria-00073020⟩
  • Christian Retoré. A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences. RR-2432, INRIA. 1994. ⟨inria-00074243⟩
  • Christian Retoré. On the relation between coherence semantics and multiplicative proof nets. RR-2430, INRIA. 1994. ⟨inria-00074245⟩
  • Christian Retoré. A note on intersection types. RR-2431, INRIA. 1994. ⟨inria-00074244⟩

Theses1 document

  • Christian Retoré. Réseaux et séquents ordonnés. Mathématiques [math]. Université Paris-Diderot - Paris VII, 1993. Français. ⟨tel-00585634⟩

Habilitation à diriger des recherches1 document

  • Christian Retoré. Logique linéaire et syntaxe des langues. Mathématiques [math]. Université de Nantes, 2002. ⟨tel-00354041⟩