Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Computers as Theatre
Brenda Laurel
Geometric Quantization
N. M. J. Woodhouse
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov