Websites linking back to andrej.com
6 websites are linking back to andrej.com in their content.
Total results: 6
Domains on this page: 6
Results:
Homotopy Type Theoryhttp://portalrankings.com/info/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…
- Updated On (Date): 2016-Dec-23
- Expiration time: 2018-Mar-13
- Website Registered On (Date): 2011-Mar-13
Andrej Bauerhttp://portalrankings.com/info/andrej.com
- Google+ User ID: +AndrejBauer
- Google Analytics code: 96961601-1
- Updated On (Date): 2016-Feb-08
- Expiration time: 2022-Nov-19
- Website Registered On (Date): 1999-Nov-19
Random art: galleryhttp://portalrankings.com/info/random-art.org
- Google Analytics code: 18033973-1
- Updated On (Date): 2016-Feb-08
- Expiration time: 2022-Dec-19
- Website Registered On (Date): 2004-Dec-19