Intuitionistic Type Theory
Per Martin-Lof
Early Retirement Extreme: A Philosophical and Practical Guide ...
Jacob Lund Fisker
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Anti-Tech Revolution: Why and How
Theodore John Kaczynski
"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell