A brief introduction to type theory and the univalence axiom
Jackson Macor
A Theory of Fun for Game Design
Raph Koster
Stonehouses Anatomy (Jap)
Superani
Intuitionistic Type Theory
Per Martin-Lof
Damascius' Problems and Solutions Concerning First Principles
Damaskios
