02c~ |
Homotopy Type Theory
http://homotopytypetheory.org/
Saved on 2012-11-14 [15658 edays] via homotopytypetheory.org
Modified 2023-08-08 [19577 edays]
programming types
http://homotopytypetheory.org/
Saved on 2012-11-14 [15658 edays] via homotopytypetheory.org
Modified 2023-08-08 [19577 edays]
programming types
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.