Global Rank
Last scanned
Domain Age
Daily Visitors
Updated:
Homotopy Type Theory
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…
This website is hosted with Automattic, Inc, which reserves the following IP addresses for homotopytypetheory.org: 192.0.78.24, 192.0.78.25. Moreover, DNS used with this website include ns1.wordpress.com, ns2.wordpress.com, ns3.wordpress.com. Subnet identifier ranges from 192.0.64.0 to 192.0.127.255. Classless Inter-Domain Routing (CIDR) is 192.0.64.0/18. ARIN net type is Direct Allocation.
Global Rank
Last scanned
Domain Age
Daily Visitors
ns1.wordpress.com
ns2.wordpress.com
ns3.wordpress.com
{{value}}
2011-03-13
2023-03-13
REDACTED FOR PRIVACY
Public Interest Registry
{{value}}
The registrar of homotopytypetheory.org is Public Interest Registry and the name expires on 2023-03-13. According to open source data, you can reach the owner at awodey@cmu.edu but please make sure you have a good reason for unsolicited messages. Their country of residence is Austria.
N/A
N/A
N/A
N/A
N/A
801
857.1K
667
45.9K
3.7K