The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Platonic Doctrines of Albinus
Albinus
Mencius
Mencius & D. C. Lau