Intuitionistic Type Theory
Per Martin-Lof
Early Retirement Extreme: A Philosophical and Practical Guide ...
Jacob Lund Fisker
A brief introduction to type theory and the univalence axiom
Jackson Macor
Gravitation and Cogravitation: Developing Newton's Theory of ...
Oleg D. Jefimenko
The Count of Monte Cristo, Illustrated
Alexandre Dumas