On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054)

From MaRDI portal
scientific article; zbMATH DE number 7813470
Language Label Description Also known as
English
On the ∞$\infty$‐topos semantics of homotopy type theory
scientific article; zbMATH DE number 7813470

    Statements

    On the ∞$\infty$‐topos semantics of homotopy type theory (English)
    0 references
    0 references
    0 references
    0 references
    5 March 2024
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references