Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Essay on Economic Theory, An
Richard Cantillon
The History of the Peloponnesian War
Thucydides
Newton's Principia : the mathematical principles of natural ...
Newton, Isaac, Sir, 1642-1727
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
Masters of Doom: How Two Guys Created an Empire and Transformed ...
David Kushner
The Videogame Industry Does Not Exist: Why We Should Think Beyond ...
Brendan Keogh