Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Damascius' Problems and Solutions Concerning First Principles
Damaskios
The Search for the Perfect Language
Umberto Eco
Engineering a Compiler
Keith D. Cooper & Linda Torczon
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove