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