Nos partenaires

CNRS

Rechercher





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

Publications

Freiric Barral

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.

 


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 nationaux / National conference papers
  • 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

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Freiric Barral. Decidability for Non-Standard Conversions in Typed Lambda-Calculus. Thèse de doctorat, Université Paul Sabatier, avril 2008.
    Résumé
    BibTeX