Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Financial Crisis Inquiry Report: Final Report of the National ...
Financial The Financial Crisis Inquiry Commission
The Candida Cure Cookbook
Ann Boroch
Rust Programming by Example
Guillaume Gomez & Antoni Boucher
The Structure Of Scientific Revolutions
Thomas Kuhn