Publications

Publications de

Communications dans un congrès

  • Freiric Barral, Sergei Soloviev

    Inductive Type Schemas as Functors.

    Dans : International Computer Science Symposium in Russia (CSR 2006), St. Petersbourg, 08/06/06-12/06/06, Vol. 3967, Springer, LNCS, p. 35-45, juin 2006.

    BibTeX

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

  • Freiric Barral

    Decidability for Non-Standard Conversions in Typed Lambda-Calculus

    Thèse de doctorat, Université Paul Sabatier, avril 2008.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par