Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Logical Geometry
Unknown
Taking the Shape of the Gods: A Theurgic reading of Hermetic ...
Gregory Shaw
Metapolemos
Jason Reza Jorjani
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar