Collision Detection in Interactive 3D Environments
Gino van den Bergen
The Three Languages of Politics: Talking Across the Political ...
Kling, Arnold
"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program