Geometric Quantization
N. M. J. Woodhouse
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game Programming Gems 3
Dante Treglia
Periphyseon: Division of Nature
Johannes Scotus Erigena
AI Game Programming Wisdom 4
Steve Rabin
Game Programming Gems 7
Scott Jacobs