Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
On Light And Other High Frequency Phenomena
Nikola Tesla, Zoran B. Živković
AI Game Programming Wisdom
Steve Rabin
Engineering a Compiler
Keith D. Cooper & Linda Torczon
