Nos partenaires

CNRS

Rechercher





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

Publications

David Chemouil

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

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters
  • Freiric Barral, David Chemouil, Sergei Soloviev. Non-standard reductions and categorical models in typed lambda-calculus. Dans : Logitcheskie Issledovaniya (Logical Investigations). Alexander S. Karpenko (Eds.), Nauka, p. 300-315, Vol. 12, Logitcheskie Issledovaniya (Logical Investigations), octobre 2005.
    Résumé
    BibTeX

Conférences et workshops internationaux / International conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • David Chemouil. Types inductifs, isomorphismes et récriture extensionnelle. Thèse de doctorat, Université Paul Sabatier, septembre 2004.
    Résumé
    BibTeX