No label defined (Q4436029)

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

    Statements

    0 references
    0 references
    23 November 2003
    0 references
    dependent type theory
    0 references
    Martin-Löf type theory
    0 references
    inductive definitions
    0 references
    inductive-recursive definitions
    0 references
    inductive families
    0 references
    initial algebras
    0 references
    normalization proofs
    0 references
    generic programming
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references