Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Dive Into Design Patterns
Alexander Shvets
On Descartes' Metaphysical Prism: The Constitution and the Limits ...
Jean-Luc Marion
A brief introduction to type theory and the univalence axiom
Jackson Macor
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program