A brief introduction to type theory and the univalence axiom
Jackson Macor
The Art of Game Design, 3rd Edition
Jesse Schell
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Civil Disobedience
Henry David Thoreau
The Search for the Perfect Language
Umberto Eco