Publications

Publications de

Articles dans une revue
Communications dans un congrès
Chapitres d’ouvrage
  • 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
  • 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