Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Thus spoke Zarathustra
Nietzsche, Friedrich Wilhelm, 1844-1900
Divina proportione : opera a tutti glingegni perspicaci e curiosi ...
Pacioli, Luca, approximately 1445-1517
Game Design Workshop, Second Edition: A Playcentric Approach ...
Tracy Fullerton
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair