Publications

Publications of

Conference papers
  • Freiric Barral, Sergei Soloviev

    Inductive Type Schemas as Functors.

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

    BibTeX

Book sections
  • Freiric Barral, David Chemouil, Sergei Soloviev

    Non-standard reductions and categorical models in typed lambda-calculus

    In : Logitcheskie Issledovaniya (Logical Investigations). Alexander S. Karpenko (Eds.) , Nauka, pp. 300-315, Vol. 12, Logitcheskie Issledovaniya (Logical Investigations), October 2005.

    Abstract
    BibTeX

Thesis
  • Freiric Barral

    Decidability for Non-Standard Conversions in Typed Lambda-Calculus

    Master’s Thesis, Université Paul Sabatier, April 2008.

    Abstract
    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by