Websites linking back to math.andrej.com
3 websites are linking back to math.andrej.com in their content.
Total results: 3
Domains on this page: 3
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