A brief introduction to type theory and the univalence axiom
Jackson Macor
Intuitionistic Type Theory
Per Martin-Lof
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
Mental Language: From Plato to William of Ockham
Claude Panaccio
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar