Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The origin of species
Darwin, Charles, 1809-1882
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin
Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson
The Search for Atlantis: A History of Plato's Ideal State
Kershaw, Stephen