Variations on inductive-recursive definitions (Q5111280)

From MaRDI portal
scientific article; zbMATH DE number 7204397
Language Label Description Also known as
English
Variations on inductive-recursive definitions
scientific article; zbMATH DE number 7204397

    Statements

    0 references
    0 references
    0 references
    26 May 2020
    0 references
    type theory
    0 references
    induction-recursion
    0 references
    initial-algebra semantics
    0 references
    Variations on inductive-recursive definitions (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references