Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Homotopy_type_theory> ?p ?o }
- Homotopy_type_theory abstract "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. Although neither is precisely delineated, and the terms are sometimes used interchangeably, the choice of usage also sometimes corresponds to differences in viewpoint and emphasis. As such, this article may not represent the views of all researchers in the fields equally.".
- Homotopy_type_theory thumbnail Hott_book_cover.png?width=300.
- Homotopy_type_theory wikiPageExternalLink book.
- Homotopy_type_theory wikiPageExternalLink hott2.pdf.
- Homotopy_type_theory wikiPageExternalLink warren.pdf.
- Homotopy_type_theory wikiPageExternalLink Hlambda_short_current.pdf.
- Homotopy_type_theory wikiPageExternalLink HoTT.
- Homotopy_type_theory wikiPageExternalLink UniMath.
- Homotopy_type_theory wikiPageExternalLink Foundations.
- Homotopy_type_theory wikiPageExternalLink Ktheory.
- Homotopy_type_theory wikiPageExternalLink PAdics.
- Homotopy_type_theory wikiPageExternalLink RezkCompletion.
- Homotopy_type_theory wikiPageExternalLink 2010_CMU.
- Homotopy_type_theory wikiPageExternalLink books?id=pLnKggT_In4C&pg=PA83.
- Homotopy_type_theory wikiPageExternalLink homotopytypetheory.org.
- Homotopy_type_theory wikiPageExternalLink displayAbstract?fromPage=online&aid=2888996&fileId=S0305004108001783.
- Homotopy_type_theory wikiPageExternalLink HomePage.
- Homotopy_type_theory wikiPageExternalLink 1.abstract.
- Homotopy_type_theory wikiPageExternalLink awodey.
- Homotopy_type_theory wikiPageExternalLink htt.html.
- Homotopy_type_theory wikiPageExternalLink TTH.pdf.
- Homotopy_type_theory wikiPageExternalLink homotopy.pdf.
- Homotopy_type_theory wikiPageExternalLink Univalent_Foundations.html.
- Homotopy_type_theory wikiPageExternalLink venedig.ps.gz.
- Homotopy_type_theory wikiPageID "33974223".
- Homotopy_type_theory wikiPageLength "32574".
- Homotopy_type_theory wikiPageOutDegree "81".
- Homotopy_type_theory wikiPageRevisionID "700787511".
- Homotopy_type_theory wikiPageWikiLink ACM_Computing_Reviews.
- Homotopy_type_theory wikiPageWikiLink Andrej_Bauer.
- Homotopy_type_theory wikiPageWikiLink André_Joyal.
- Homotopy_type_theory wikiPageWikiLink ArXiv.
- Homotopy_type_theory wikiPageWikiLink Axiom.
- Homotopy_type_theory wikiPageWikiLink Calculus_of_constructions.
- Homotopy_type_theory wikiPageWikiLink Carnegie_Mellon_University.
- Homotopy_type_theory wikiPageWikiLink Categorical_logic.
- Homotopy_type_theory wikiPageWikiLink Category:Articles_containing_video_clips.
- Homotopy_type_theory wikiPageWikiLink Category:Formal_methods.
- Homotopy_type_theory wikiPageWikiLink Category:Homotopy_theory.
- Homotopy_type_theory wikiPageWikiLink Category:Type_theory.
- Homotopy_type_theory wikiPageWikiLink Category_of_sets.
- Homotopy_type_theory wikiPageWikiLink Category_theory.
- Homotopy_type_theory wikiPageWikiLink Coherence_condition.
- Homotopy_type_theory wikiPageWikiLink Computer_science.
- Homotopy_type_theory wikiPageWikiLink Coq.
- Homotopy_type_theory wikiPageWikiLink Creative_Commons_license.
- Homotopy_type_theory wikiPageWikiLink Curry–Howard_correspondence.
- Homotopy_type_theory wikiPageWikiLink Dependent_type.
- Homotopy_type_theory wikiPageWikiLink Dimension.
- Homotopy_type_theory wikiPageWikiLink ETH_Zurich.
- Homotopy_type_theory wikiPageWikiLink Fibration.
- Homotopy_type_theory wikiPageWikiLink Fork_(software_development).
- Homotopy_type_theory wikiPageWikiLink Foundations_of_mathematics.
- Homotopy_type_theory wikiPageWikiLink Giovanni_Felder.
- Homotopy_type_theory wikiPageWikiLink GitHub.
- Homotopy_type_theory wikiPageWikiLink Groupoid.
- Homotopy_type_theory wikiPageWikiLink Homotopical_algebra.
- Homotopy_type_theory wikiPageWikiLink Homotopy.
- Homotopy_type_theory wikiPageWikiLink Homotopy_hypothesis.
- Homotopy_type_theory wikiPageWikiLink Homotopy_type_theory.
- Homotopy_type_theory wikiPageWikiLink Institute_for_Advanced_Study.
- Homotopy_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Homotopy_type_theory wikiPageWikiLink Kan_fibration.
- Homotopy_type_theory wikiPageWikiLink Lambda_calculus.
- Homotopy_type_theory wikiPageWikiLink Mathematical_Research_Institute_of_Oberwolfach.
- Homotopy_type_theory wikiPageWikiLink Mathematical_folklore.
- Homotopy_type_theory wikiPageWikiLink Mathematical_logic.
- Homotopy_type_theory wikiPageWikiLink Michael_Shulman_(mathematician).
- Homotopy_type_theory wikiPageWikiLink Model_category.
- Homotopy_type_theory wikiPageWikiLink Path_(topology).
- Homotopy_type_theory wikiPageWikiLink Path_space.
- Homotopy_type_theory wikiPageWikiLink Per_Martin-Löf.
- Homotopy_type_theory wikiPageWikiLink Peter_Aczel.
- Homotopy_type_theory wikiPageWikiLink Programming_language.
- Homotopy_type_theory wikiPageWikiLink Proof_assistant.
- Homotopy_type_theory wikiPageWikiLink Robert_Harper_(computer_scientist).
- Homotopy_type_theory wikiPageWikiLink Steve_Awodey.
- Homotopy_type_theory wikiPageWikiLink Thierry_Coquand.
- Homotopy_type_theory wikiPageWikiLink Thomas_Streicher.
- Homotopy_type_theory wikiPageWikiLink Thorsten_Altenkirch.
- Homotopy_type_theory wikiPageWikiLink Topology.
- Homotopy_type_theory wikiPageWikiLink Type_theory.
- Homotopy_type_theory wikiPageWikiLink Univalent_foundations.
- Homotopy_type_theory wikiPageWikiLink Uppsala_University.
- Homotopy_type_theory wikiPageWikiLink Vladimir_Voevodsky.
- Homotopy_type_theory wikiPageWikiLink File:Hott_book_cover.png.
- Homotopy_type_theory wikiPageWikiLink File:The_making_of_HoTT_book.webm.
- Homotopy_type_theory wikiPageWikiLinkText "HoTT".
- Homotopy_type_theory wikiPageWikiLinkText "Homotopy Type Theory".
- Homotopy_type_theory wikiPageWikiLinkText "Homotopy type theory".
- Homotopy_type_theory wikiPageWikiLinkText "Homotopy type theory#Higher inductive types".
- Homotopy_type_theory wikiPageWikiLinkText "Homotopy type theory#Univalence axiom".
- Homotopy_type_theory wikiPageWikiLinkText "homotopy type theory".
- Homotopy_type_theory id "homotopy+type+theory".
- Homotopy_type_theory title "Homotopy type theory".
- Homotopy_type_theory wikiPageUsesTemplate Template:Citation.
- Homotopy_type_theory wikiPageUsesTemplate Template:Cite_book.
- Homotopy_type_theory wikiPageUsesTemplate Template:Cite_journal.
- Homotopy_type_theory wikiPageUsesTemplate Template:Cite_thesis.
- Homotopy_type_theory wikiPageUsesTemplate Template:Div_col.