The Theoretic Arithmetic of the Pythagoreans -- Thomas Taylor, ...
Unknown
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Computational Geometry - Convex Hulls
Jeff Erickson
The Infinite Retina: Spatial Computing, Augmented Reality, and ...
Irena Cronin & Robert Scoble