Analysis of websites containing cosette.cs.washington.edu backlinks
These websites are/were linking to cosette.cs.washington.edu.
Websites found: 2
Number of websited displayed: 2
List of results:
Homotopy Type Theoryhttp://site-overview.com/stats/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…
- Website Address renewal date: 16/12/23
- Domain Address Reg. date: 11/3/13
- Website address in use until: 18/3/13
UW PLSEhttp://site-overview.com/stats/uwplse.org
- Google Analytics ID: 65215143-1
- Website Address renewal date: 16/12/7
- Domain Address Reg. date: 14/12/7
- Website address in use until: 17/12/7