A brief introduction to type theory and the univalence axiom
Jackson Macor
Road To Serfdom
F. A. Hayek
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Projective Geometric Algebra
Eric Lengyel
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark