A Theory of Fun for Game Design
Raph Koster
A brief introduction to type theory and the univalence axiom
Jackson Macor
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman