Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
Ethics
Spinoza
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
Crush It!: Why NOW Is the Time to Cash In on Your Passion
Gary Vaynerchuk