Physically Based Rendering, Fourth Edition: From Theory to Implementation
Wenzel Jakob & Greg Humphreys & Matt Pharr
Intuitionistic Type Theory
Per Martin-Lof
Pragmatism, a New Name for Some Old Ways of Thinking
William James
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Anti-Tech Revolution: Why and How
Theodore John Kaczynski