Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Programming Game AI by Example
Mat Buckland
Multiplayer Game Programming: Architecting Networked Games / ...
Josh Glazer & Sanjay Madhav
Game Design (1)
The Gulag Archipelago
Aleksandr Solzhenitsyn