Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Homotopy_type_theory> . }
Showing items 1 to 10 of
10
with 100 items per page.
- HTT wikiPageDisambiguates 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.
- 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.
- Homotopy_type_theory primaryTopic Homotopy_type_theory.