Programming in Martin-Lof's Type Theory: An Introduction (1990)
a year ago
- #Type Theory
- #Martin-Löf
- #Programming
- 《马丁-洛夫类型理论中的编程：导论》一书由本特·诺德斯特伦、肯特·彼得森和扬·M·史密斯合著。
- 该书由牛津大学出版社于1990年出版，目前已经绝版。
- 哥德堡大学/查尔姆斯理工大学计算机科学系提供该书的Postscript和PDF格式版本。
- Postscript版本大小为1.5兆字节，PDF版本为1兆字节。
- 该书的目录也提供Postscript格式版本。