No label defined (Q5438968)

From MaRDI portal
scientific article; zbMATH DE number 5233467
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 5233467

    Statements

    0 references
    8 February 2008
    0 references
    Martin-Löf type theory
    0 references
    proof theory
    0 references
    Kripke-Platek set theory
    0 references
    W-type
    0 references
    wellfounded trees
    0 references
    Kleene's O
    0 references
    Mahlo universe, inductive-recursive definitions, generic programming
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references