Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin
Multiplayer Game Programming: Architecting Networked Games / ...
Josh Glazer & Sanjay Madhav
Game Design (1)
Metapolemos
Jason Reza Jorjani
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus