Game Programming Gems 2
Mark A. Deloura
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Two Treatises of Government : And a Letter Concerning Toleration
John Locke
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Einstein Manifolds
Arthur L. Besse