Intuitionistic Type Theory
Per Martin-Lof
A brief introduction to type theory and the univalence axiom
Jackson Macor
The Art of War
Narattaphol Charoenphandhu
Giordano Bruno and the Hermetic Tradition
Frances Amelia Yates
The Videogame Industry Does Not Exist: Why We Should Think Beyond ...
Brendan Keogh
Physically Based Rendering, Fourth Edition: From Theory to Implementation
Matt Pharr & Wenzel Jakob & Greg Humphreys
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The Parallax View (Short Circuits)
Slavoj Zizek