Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Democracy in America
de Tocqueville, Alexis
Essential Mathematics for Games and Interactive Applications ...
James M. Van Verth, Lars M. Bishop
Art & Illusion
E. H. Gombrich
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove