直觉类型论
Intuitionistic type theory
Per Martin-Löf · 初版 1984 年
- 6次提及
- 1人推荐
- 5位 HN 评论者
Hacker News 读者推荐
……重新翻开 Thompson 的《Type Theory and Functional Programming》，显然我已经能看懂很多了。如果你像我一样喜欢老书的那种怀旧感，那就去搞一本 Per Martin-Löf 主编的《Intuitionistic Type Theory》原版吧。
codeismath 在 HN 的推荐
……Thompson（随便搜一下就能找到 PDF）Rob Nederpelt / Herman Geuvers 的《Type Theory and Formal Proof》前 120 页。关于 dependent types 的一些早期内容（上面那些书里也有涉及），可以看看 Per Martin-Lof 的《Intuitionistic Type Theory》、罗朝晖（Zhaohui Luo）的《Computation and Reasoning: A Type Theory for Computer Science》、Edwin Brady 的《Type-Driven Development with Idris》、《Gentle Introduction to Dependent Types with Idris》……
codeismath 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。