Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Blood, Sweat, and Pixels
Jason Schreier
The Great Illusion
Norman Angell
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Structure Of Scientific Revolutions
Thomas Kuhn