Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
3D Math Primer for Graphics and Game Development
Fletcher Dunn, Ian Parberry
Ride the Tiger
Julius Evola
Practical Foundations for Programming Languages
Robert Harper
Hierocles the Stoic: Elements of Ethics, Fragments, and Excerpts
Ilaria Ramelli