6.28K Toots, 258 Following, 1.35K Followers · Agda team member, 1Lab main author. Charitably describable as "hinged"| types.pl
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…| Homotopy Type Theory