URL details: homotopytypetheory.org
URL title:
Homotopy Type Theory
URL description:
This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory. Propositional equality is interpreted as…
URL last crawled:
2022-06-20
URL speed:
1.010 MB/s,
downloaded in 0.050 seconds
5 external links to this url
Only links from external domains are shown on this page.
found date
link text
from url
2023-01-10
homotopy type
theory
2022-12-20
Homotopy Type
Theory
2022-08-12
homotopy theory
2022-07-09
Homotopy Type Theory
2022-06-21
homotopy type theory