Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Gravitation, Gauge Theories And Differential Geometry
Eguchi, Gikey & Hansen
Real-Time Rendering, Fourth Edition
Tomas Akenine-Mo ̀ˆller & Eric Haines & Naty Hoffman
Selections From Science and Sanity: An Introduction to Non-Aristotelian ...
Alfred Korzybski
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
