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
In this article, we use Coq to write down machine-checked semantics for the untyped concatenative calculus.| danilafe.com