Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Anti-Tech Revolution: Why and How
Theodore John Kaczynski
The Method of Archimedes
Archimedes