Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Euripides I: Alcestis, Medea, the Children of Heracles, Hippolytus
Euripides
Dirty Genes: A Breakthrough Program to Treat the Root Cause ...
Ben Lynch
Michael Abrash’s Graphics Programming Black Book
Michael Abrash
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar