Intuitionistic Type Theory
Per Martin-Lof
Linkers and Loaders
John R. Levine
The C++ Standard Library: A Tutorial and Reference
Nicolai M. Josuttis
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program