The Drunkard's Walk
Leonard Mlodinow
Stand on Zanzibar
John Brunner
Intuitionistic Type Theory
Per Martin-Lof
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program