The Geometry of René Descartes
René Descartes
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Search for the Perfect Language
Umberto Eco
New Foundations for Classical Mechanics
D. Hestenes
On Descartes' Metaphysical Prism: The Constitution and the Limits ...
Jean-Luc Marion