The Model Thinker
Scott E. Page
Pragmatism, a New Name for Some Old Ways of Thinking
William James
Modern C
Jens Gustedt
The 8th Habit
Stephen R. Covey
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
