Intuitionistic Type Theory
Per Martin-Lof
Game Programming Gems 3
Dante Treglia
The Making of Late Antiquity
Peter Brown
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar