Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Practical Foundations for Programming Languages
Robert Harper
Density-Functional Theories of Atoms and Molecules - R. Parr, ...
John
3D Math Primer for Graphics and Game Development
Fletcher Dunn, Ian Parberry
The Complete Greek Drama: All the Extant Tragedies of Aeschylus, ...
Whitney Jennings Oates & Eugene O'Neill & Eugene O'Neill & Eugene O'Neill (jr.)
The Gulag Archipelago
Aleksandr Solzhenitsyn