The prince
Machiavelli, Niccol, 1469-1527
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Einstein Manifolds
Arthur L. Besse
Pressed for Time The Acceleration of Life in Digital Capitalism
Judy Wajcman
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program