Modeling Martin-Löf type theory in categories (Q280835)

From MaRDI portal
Revision as of 23:55, 4 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Modeling Martin-Löf type theory in categories
scientific article

    Statements

    Modeling Martin-Löf type theory in categories (English)
    0 references
    0 references
    10 May 2016
    0 references
    Grothendieck fibration
    0 references
    Martin-Löf type theory
    0 references
    identity type
    0 references
    path object
    0 references
    homotopical type theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references