Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Carbon Nanotubes Advanced Topics in the Synthesis, Structure, ...
Ado Jorio, Ado Jorio, Gene Dresselhaus, Mildred S. Dresselhaus
René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
Game Programming Gems 3
Dante Treglia
Periphyseon: Division of Nature
Johannes Scotus Erigena