2009/03/04

Intuitionistic Type Theory

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

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

--
原版在此

Labels:

Anonymous scm3/05/2009 2:10 am 說:

Wow wow! Good job!! :)

 

<< 回到主頁