Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Crafting Interpreters
Timothy Andrew
The origin of species
Darwin, Charles, 1809-1882
The Collected Works of C.G. Jung: Volume 12: Psychology and ...
C. G. Jung
Masters of Doom: How Two Guys Created an Empire and Transformed ...
David Kushner