Martin-Löf Type Theory 编程入门 (1990)
这本绝版的书是关于 **Martin-Löf Type Theory** 编程的入门指南，由 Bengt Nordström、Kent Petersson 和 Jan M. Smith 于 1990 年出版。原书由 Oxford University Press 出版，现已可在 `www.cs.chalmers.se/Cs/Research/Logic/book` 免费获取。读者可以下载 Postscript 和 pdf 格式的完整书籍，包括目录。
Martin-Löf Type Theory 编程入门
Bengt Nordström Kent Petersson Jan M. Smith
Department of Computing Sciences University of Göteborg / Chalmers S-412 96 Göteborg Sweden
本书于 1990 年由 Oxford University Press 出版，现已绝版。此版本可从 www.cs.chalmers.se/Cs/Research/Logic/book 获取。
Postscript 格式的目录。整本书（200 页）的 Postscript (1.5 Mb) 和 pdf (1 Mb) 版本。