Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
On Descartes' Metaphysical Prism: The Constitution and the Limits ...
Jean-Luc Marion
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
The Search for the Perfect Language
Umberto Eco