Essential Mathematics for Games and Interactive Applications ...
James M. Van Verth, Lars M. Bishop
A brief introduction to type theory and the univalence axiom
Jackson Macor
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Latin, an Intensive Course
Floyd L. Moreland & Rita M. Fleischer
The Count of Monte Cristo (Unabridged Penguin)
Alexandre Dumas