Login
From:
Homotopy Type Theory
(Uncensored)
subscribe
The HoTT Book | Homotopy Type Theory
https://homotopytypetheory.org/book/
links
backlinks
Roast topics
Find topics
Find it!
Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hard…
