Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair
Mediated
Thomas de Zengotita
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
The Search for the Perfect Language
Umberto Eco
