Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Homotopy_type_theory> }
Showing triples 1 to 75 of
75
with 100 triples per page.
- Andrej_Bauer field Homotopy_type_theory.
- Michael_Shulman_(mathematician) field Homotopy_type_theory.
- Thorsten_Altenkirch 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.
- Thorsten_Altenkirch 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.
- Thorsten_Altenkirch fields Homotopy_type_theory.
- 1303.0584 isCitedBy Homotopy_type_theory.
- book isCitedBy Homotopy_type_theory.
- hott2.pdf isCitedBy Homotopy_type_theory.
- Lumsdaine-2010-Thesis.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.
- 0709.0248 isCitedBy Homotopy_type_theory.
- 0812.0298 isCitedBy Homotopy_type_theory.
- 1007.4638 isCitedBy Homotopy_type_theory.
- 1203.3253 isCitedBy Homotopy_type_theory.
- 1411.1736 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.
- 2557446 isCitedBy Homotopy_type_theory.
- 2676726.2676983 isCitedBy Homotopy_type_theory.
- new-foundation-mathematics?et_cid=4133336&et_rid=677699018&location=top isCitedBy Homotopy_type_theory.
- Homotopy_type_theory primaryTopic Homotopy_type_theory.