Intuitionistic Type Theory
Per Martin-Lof
Rust Programming by Example
Guillaume Gomez & Antoni Boucher
The Dip: A Little Book That Teaches You When to Quit (and When ...
Godin, Seth
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly