The Univalent Foundations Program
The Univalent Foundations Program has written at least 1 book. Their most popular book is Homotopy Type Theory with 1 save with an average rating of -⭐.
The Univalent Foundations Program has written at least 1 book. Their most popular book is Homotopy Type Theory with 1 save with an average rating of -⭐.
 Homotopy Type Theory Homotopy Type Theory
| 0 | 0 reads |