Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Christian Retoré

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Contributions à des ouvrages de synthèse / Book chapters
  • Christian Retoré. The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics. Dans : 19th International Conference on Types for Proofs and Programs (TYPES 2013). Ralph Matthes, Aleksy Schubert (Eds.), Dagstuhl Publishing, p. 202-229, Vol. 26, Leibniz International Proceedings in Informatics (LIPIcs), 2014.
    Résumé Accès : http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.202
    BibTeX

  • Roberto Bonato, Christian Retoré. Learning Lambek grammars from proof frames. Dans : Categories and types in logic,language and physics - Festschrift on the occasion of Jim Lambek's 90th birthday. Claudia Casadio, Michael Moortgat, Bob Coeke, Phil Scott (Eds.), Springer, p. 108-135, Vol. 8222, LNCS Theoretical Computer Science and General Issues subseries, octobre 2014.
    BibTeX

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings
  • Bruno Mery, Christian Retoré. Advances in the Logical Representation of Lexical Semantics. Dans : Natural Language in Computer Science (LICS satellite workshop), New-Orleans, 24/06/13-26/06/13, Valeria De Paiva, Lawrence Moss (Eds.).
    BibTeX