mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Lambda-Cube"

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Lambda-Cube"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Kervarc, Romain; Lescanne, Pierre (2004-02)
    (eng) Pure type systems are a general formalism allowing to represent many type systems -- in particular, Barendregt's lambda-cube, including Girard's system F, dependent types, and the calculus of constructions. We built ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share