Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Candida Cure: The 90-Day Program to Beat Candida & Restore ...
Boroch, Ann
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche