On the Genealogy of Morals
Frederich Nietzsche
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers