| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | Homotopy Type Theory. Univalent Foundations of Mathematics. The Univalent Foundations Program (2013).pdf | 2022-02-22 06:24 | 4150 KB |
| Homotopy Type Theory.pdf | 2022-02-22 06:24 | 4415 KB |
| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | ||
| Homotopy Type Theory. Univalent Foundations of Mathematics. The Univalent Foundations Program (2013).pdf | 2022-02-22 06:24 | 4150 KB |
| Homotopy Type Theory.pdf | 2022-02-22 06:24 | 4415 KB |