Intuitionistic Type Theory
Per Martin-Lof
Game Programming Gems
Mark A. Deloura
Picatrix The Latin Version of Ghàyat Al-Hakìm -- David Pingree ...
Unknown
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Expert C Programming
Peter van der Linden
