Game Programming Gems 3
Dante Treglia
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Tao Te Ching
Lao-tzu
A brief introduction to type theory and the univalence axiom
Jackson Macor
First as Tragedy, then as Farce
Slavoj Zizek