Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Homotopy_type_theory> }
Showing triples 1 to 61 of
61
with 100 triples per page.
- Andrej_Bauer field Homotopy_type_theory.
- Michael_Shulman_(mathematician) field Homotopy_type_theory.
- Fibrations-as-Types wikiPageRedirects Homotopy_type_theory.
- Fibrations-as-Types_interpretation wikiPageRedirects Homotopy_type_theory.
- Fibrations-as-types wikiPageRedirects Homotopy_type_theory.
- Fibrations-as-types_interpretation wikiPageRedirects Homotopy_type_theory.
- Higher_inductive_type wikiPageRedirects Homotopy_type_theory.
- HoTT wikiPageRedirects Homotopy_type_theory.
- Homotopic_type_theory wikiPageRedirects Homotopy_type_theory.
- Homotopical_type_theory wikiPageRedirects Homotopy_type_theory.
- Homotopy_Type_Theory wikiPageRedirects Homotopy_type_theory.
- Univalence_axiom wikiPageRedirects Homotopy_type_theory.
- Andrej_Bauer wikiPageWikiLink Homotopy_type_theory.
- Blakers–Massey_theorem wikiPageWikiLink Homotopy_type_theory.
- Calculus_of_constructions wikiPageWikiLink Homotopy_type_theory.
- Curry–Howard_correspondence wikiPageWikiLink Homotopy_type_theory.
- Equivalent_definitions_of_mathematical_structures wikiPageWikiLink Homotopy_type_theory.
- Extensionality wikiPageWikiLink Homotopy_type_theory.
- Fibrations-as-Types wikiPageWikiLink Homotopy_type_theory.
- Fibrations-as-Types_interpretation wikiPageWikiLink Homotopy_type_theory.
- Fibrations-as-types wikiPageWikiLink Homotopy_type_theory.
- Fibrations-as-types_interpretation wikiPageWikiLink Homotopy_type_theory.
- Higher_inductive_type wikiPageWikiLink Homotopy_type_theory.
- HoTT wikiPageWikiLink Homotopy_type_theory.
- Homotopic_type_theory wikiPageWikiLink Homotopy_type_theory.
- Homotopical_type_theory wikiPageWikiLink Homotopy_type_theory.
- Homotopy wikiPageWikiLink Homotopy_type_theory.
- Homotopy_Type_Theory wikiPageWikiLink Homotopy_type_theory.
- Homotopy_type_theory wikiPageWikiLink Homotopy_type_theory.
- Hott wikiPageWikiLink Homotopy_type_theory.
- Inductive_type wikiPageWikiLink Homotopy_type_theory.
- Institute_for_Advanced_Study wikiPageWikiLink Homotopy_type_theory.
- Intuitionistic_type_theory wikiPageWikiLink Homotopy_type_theory.
- Lambda_cube wikiPageWikiLink Homotopy_type_theory.
- Michael_Shulman_(mathematician) wikiPageWikiLink Homotopy_type_theory.
- Set_theory wikiPageWikiLink Homotopy_type_theory.
- Simplicial_set wikiPageWikiLink Homotopy_type_theory.
- Steve_Awodey wikiPageWikiLink Homotopy_type_theory.
- Thomas_Streicher wikiPageWikiLink Homotopy_type_theory.
- Type_theory wikiPageWikiLink Homotopy_type_theory.
- Univalence_axiom wikiPageWikiLink Homotopy_type_theory.
- Univalent_foundations wikiPageWikiLink Homotopy_type_theory.
- Vladimir_Voevodsky wikiPageWikiLink Homotopy_type_theory.
- ∞-groupoid wikiPageWikiLink Homotopy_type_theory.
- Andrej_Bauer fields Homotopy_type_theory.
- Michael_Shulman_(mathematician) fields Homotopy_type_theory.
- hott2.pdf isCitedBy Homotopy_type_theory.
- warren.pdf isCitedBy Homotopy_type_theory.
- Hlambda_short_current.pdf isCitedBy Homotopy_type_theory.
- HoTT isCitedBy Homotopy_type_theory.
- UniMath isCitedBy Homotopy_type_theory.
- Foundations isCitedBy Homotopy_type_theory.
- Ktheory isCitedBy Homotopy_type_theory.
- PAdics isCitedBy Homotopy_type_theory.
- RezkCompletion isCitedBy Homotopy_type_theory.
- 2010_CMU isCitedBy Homotopy_type_theory.
- books?vid=ISBN978-0-19-158903-4 isCitedBy Homotopy_type_theory.
- 978-94-007-4435-6_9 isCitedBy Homotopy_type_theory.
- S0305004108001783 isCitedBy Homotopy_type_theory.
- nkt030 isCitedBy Homotopy_type_theory.
- Homotopy_type_theory primaryTopic Homotopy_type_theory.