코딩_Coding_Dev책_정리/Rust_Coding_Book
Homotopy Type Theory
내인생PLUS
2024. 6. 27. 09:28
728x90
https://homotopytypetheory.org/book/
The HoTT Book
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…
homotopytypetheory.org
eBook
https://hott.github.io/book/hott-ebook-15-ge428abf.pdf
반응형