Homotopy Type Theory _ Univalent Foundations of Mathematics
Princeton: Univalent Foundations Program, 2013. Paperback Octavo. Paperback. wraps, 605 pp Standard shipping (no tracking) / Priority (with tracking) / Custom quote for large or heavy orders. More