Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Asclepius A Colletion and Interpretation ofthe Testimonies -- ...
Unknown
3D Math Primer for Graphics and Game Development
Fletcher Dunn, Ian Parberry
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
A Theory of Fun for Game Design
Raph Koster