Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Newton's Principia : the mathematical principles of natural ...
Newton, Isaac, Sir, 1642-1727
Geometric Quantization
N. M. J. Woodhouse
Projective Geometric Algebra
Eric Lengyel
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar