Peopleware: Productive Projects and Teams
Tom DeMarco
A brief introduction to type theory and the univalence axiom
Jackson Macor
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Platform
Cynthia Johnson
The histories of Herodotus
Herodotus