Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Innovator's Dilemma: When New Technologies Cause Great Firms ...
Clayton M. Christensen
Electricity and matter
Thomson, J. J. (Joseph John), Sir, 1856-1940
Conversations of Socrates (Classics)
Xenophon
De Rerum Natura: V
Titus Lucretius Carus
Austerity: The History of a Dangerous Idea
Mark Blyth