Publications

Recherche de publications

Publications de David Chemouil

Articles dans des revues internationales Articles dans des revues nationales Conférences et workshops internationaux avec actes édités et comité de lecture Conférences sans actes publiés Contributions à des ouvrages de synthèse
  • 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

Thèses et habilitations
  • David Chemouil

    Types inductifs, isomorphismes et récriture extensionnelle

    Thèse de doctorat, Université Paul Sabatier, septembre 2004.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant