No label defined (Q4681362)

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

    Statements

    0 references
    23 June 2005
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    inductive types
    0 references
    calculus of inductive constructions
    0 references
    calculus of algebraic constructions
    0 references
    0 references
    0 references