Homotopy Type Theory: Univalent Foundations of Mathematics
Unknown
The Edge of Knowledge
Lawrence M. Krauss
Structure and Interpretation of Computer P
Harold Abelson
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce