Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Geometry of René Descartes
René Descartes
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
Game Engine Gems, Volume One
Eric Lengyel
Game Engine Gems (1)