Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Essay on Economic Theory, An
Richard Cantillon
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark