Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Practical Foundations for Programming Languages
Robert Harper
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche