Pragmatism, a New Name for Some Old Ways of Thinking
William James
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Orpheus and the Roots of Platonism
Algis Uždavinys
The End of Absence
Michael Harris
The Structure Of Scientific Revolutions
Thomas Kuhn