Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
A Mathematician's Apology
G. H. Hardy
Game Design Workshop, Second Edition: A Playcentric Approach ...
Tracy Fullerton