Menu

Website Search

Homotopytypetheory.org

homotopytypetheory.org
Visit homotopytypetheory.org

  • 447.4K

    Global Rank

  • 3 days ago

    Last scanned

  • 13 years

    Domain Age

  • No data

    Daily Visitors

B9876A78-C14B-4F49-9F4B-396039336A47@1x

About Website

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…

Homotopytypetheory.org thumbnail
Homotopytypetheory.org thumbnail

Trustworthy

99E6BC28-40D1-4264-B66E-CBC423C983BF@1x

Network Data

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.

  • 447.4K

    Global Rank

  • 3 days ago

    Last scanned

  • 13 years

    Domain Age

  • No data

    Daily Visitors

Trustworthy

Network

ADDRESSING DETAILS

Whois

OWNERSHIP

  • Created

    2011-03-13

  • Expires

    2023-03-13

  • Owner

    REDACTED FOR PRIVACY

  • Registar

    Public Interest Registry

  • Owner Emails

    awodey@cmu.edu

Domain & Keywords

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 China.

  • hott
  • type theory
  • homotopy type theory
  • hedberg theory
  • type theory book

Websites similar to homotopytypetheory.org