Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226)

From MaRDI portal
scientific article; zbMATH DE number 6917245
Language Label Description Also known as
English
Cubical Type Theory: a constructive interpretation of the univalence axiom
scientific article; zbMATH DE number 6917245

    Statements

    0 references
    0 references
    0 references
    0 references
    13 August 2018
    0 references
    univalence axiom
    0 references
    dependent type theory
    0 references
    cubical sets
    0 references
    cs.LO
    0 references
    math.LO
    0 references
    Cubical Type Theory: a constructive interpretation of the univalence axiom (English)
    0 references

    Identifiers

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