Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Language Unlimited
David Adger
Giordano Bruno and the Hermetic Tradition
Frances Amelia Yates
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair
Grounding and Shielding: Circuits and Interference
Ralph Morrison
Game Engine Gems 2
Eric Lengyel
Electrostatic Motors: Their History, Types, and Principles of ...
Oleg Jefimenko
A DSP Primer: With Applications to Digital Audio and Computer ...
Kenneth Steiglitz