2007-01-11 Per Martin-Löf, Intuitionistic Type Theory, Bibliopolis, 1984. 完読本 読むには読んだし、ところどころ感銘を受けるところもあったが、全体としてポイントがつかめないままだった。関連するものを読んでみないと。