The Theoretic Arithmetic of the Pythagoreans -- Thomas Taylor, ...
Unknown
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game Programming Gems 7
Scott Jacobs
Metapolemos
Jason Reza Jorjani