homotopy type theory (Q5891840)

From Wikidata
Jump to navigation Jump to search
variant of type theory incorporating the univalence axiom of Voevodsky
  • HoTT
edit
Language Label Description Also known as
English
homotopy type theory
variant of type theory incorporating the univalence axiom of Voevodsky
  • HoTT

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit