Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Book of Proof
Richard Hammack
Life 3.0
Max Tegmark
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
The Egyptian Hermes: A Historical Approach to the Late Pagan ...
Garth Fowden