Intuitionistic Type Theory

Per Martin-Löf. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984.

XOO 寫信給 Martin-Löf 本人徵得同意，所以可以把這份講義公開了。上面給的連結是我排版的 pdf。

--
原版在此。