Topological and Simplicial Models of Identity Types (Q2946651)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Topological and Simplicial Models of Identity Types
scientific article

    Statements

    Topological and Simplicial Models of Identity Types (English)
    0 references
    0 references
    0 references
    17 September 2015
    0 references
    dependent type theory
    0 references
    categorical semantics
    0 references
    homotopy theory
    0 references
    identity types
    0 references

    Identifiers

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