Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Homotopy_type_theory> ?p ?o }
- Homotopy_type_theory wikiPageUsesTemplate Template:Div_col_end.
- Homotopy_type_theory wikiPageUsesTemplate Template:Freenode.
- Homotopy_type_theory wikiPageUsesTemplate Template:Nlab.
- Homotopy_type_theory wikiPageUsesTemplate Template:Refbegin.
- Homotopy_type_theory wikiPageUsesTemplate Template:Refend.
- Homotopy_type_theory wikiPageUsesTemplate Template:Reflist.
- Homotopy_type_theory wikiPageUsesTemplate Template:Section_expand.
- Homotopy_type_theory wikiPageUsesTemplate Template:Technical.
- Homotopy_type_theory subject Category:Articles_containing_video_clips.
- Homotopy_type_theory subject Category:Formal_methods.
- Homotopy_type_theory subject Category:Homotopy_theory.
- Homotopy_type_theory subject Category:Type_theory.
- Homotopy_type_theory type Disease.
- Homotopy_type_theory type Mapping.
- Homotopy_type_theory type Redirect.
- Homotopy_type_theory comment "In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intensional type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies.This includes, among other lines of work, the construction of homotopical and higher-categorical models for such type theories; the use of type theory as a logic (or internal language) for abstract homotopy theory and higher category theory; the development of mathematics within a type-theoretic foundation (including both previously existing mathematics and new mathematics that homotopical types make possible); and the formalization of each of these in computer proof assistants.There is a large overlap between the work referred to as homotopy type theory, and as the univalent foundations project. ".
- Homotopy_type_theory label "Homotopy type theory".
- Homotopy_type_theory sameAs Q5891840.
- Homotopy_type_theory sameAs Homotopietypentheorie.
- Homotopy_type_theory sameAs m.0hn8nh2.
- Homotopy_type_theory sameAs Гомотопическая_теория_типов.
- Homotopy_type_theory sameAs Q5891840.
- Homotopy_type_theory sameAs 同伦类型论.
- Homotopy_type_theory wasDerivedFrom Homotopy_type_theory?oldid=700787511.
- Homotopy_type_theory depiction Hott_book_cover.png.
- Homotopy_type_theory isPrimaryTopicOf Homotopy_type_theory.
