Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
Practical Foundations for Programming Languages
Robert Harper
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
The Infinite Retina: Spatial Computing, Augmented Reality, and ...
Irena Cronin & Robert Scoble
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program