Websites, domains, hosts that links to cosette.cs.washington.edu
Our database shows, that the website cosette.cs.washington.edu is linked by a total of 2 websites.
Number of websites/domains displayed: 2
Results found: 2
Websites discovered:
UW PLSEhttp://pageoverview.com/website-report/uwplse.org
- Expected expiration: December 7th in 2017
- Creation date: December 7th in 2014
- Renew date: December 7th in 2016
- Google Analytics: 65215143-1
Homotopy Type Theoryhttp://pageoverview.com/website-report/homotopytypetheory.org
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 interpretation of Martin-Löf's system of intensional, constructive type theory into abstract homotopy theory. Propositional equality is interpreted as homotopy and…
- Expected expiration: March 13th in 2018
- Creation date: March 13th in 2011
- Renew date: December 23rd in 2016