Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Intuitionistic Type Theory
Per Martin-Lof
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
The Everything Store: Jeff Bezos and the Age of Amazon
Stone, Brad
Mencius
Mencius & D. C. Lau
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek