Stand on Zanzibar
John Brunner
A brief introduction to type theory and the univalence axiom
Jackson Macor
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell