Homotopy Type Theory: The Logic of Space (Q5164726)

From MaRDI portal
Revision as of 20:51, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 7425820
Language Label Description Also known as
English
Homotopy Type Theory: The Logic of Space
scientific article; zbMATH DE number 7425820

    Statements

    0 references
    12 November 2021
    0 references
    geometry
    0 references
    topology
    0 references
    categorical logic
    0 references
    homotopy theory
    0 references
    homotopy type theory
    0 references
    logic
    0 references
    infinity-groupoids
    0 references
    Homotopy Type Theory: The Logic of Space (English)
    0 references

    Identifiers