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, hardcover, first-edition-1277-g3274cb3] Buy a paperback copy for $14.00. [620 pages, 6" × 9" size, paperback, first-edition-1277-g3274cb3] Download PDF for on-screen viewing. [490+ pages, letter size, in color, with…
Make this part of your paper trail
Save this paper to a shelf, write a review, and keep your own notes.