Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Ride the Tiger
Julius Evola
Game Coding Complete
McShaffry, Mike(Author)
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno
