Game Programming Patterns
Nystrom, Robert
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Language Unlimited
David Adger
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Infinite Retina: Spatial Computing, Augmented Reality, and ...
Irena Cronin & Robert Scoble