Intuitionistic Type Theory
Per Martin-Lof
Tao Te Ching
Lao-tzu
BEING AND TIME
Heidegger
Language Implementation Patterns
Terence Parr
Proclus and the Chaldean Oracles; A Study on Proclean Exegesis, ...
Nicola Spanu