Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
AI Game Programming Wisdom 4
Steve Rabin
Trading and Exchanges
Larry Harris
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers
Maps of Meaning: The Architecture of Belief
Jordan B. Peterson