※ 引述《allstarschh (allstars)》之銘言：
: Benjamin C. Pierce 的Types and Programming Languages
這本是蠻受歡迎的書。顧名思義，內容應該會比較偏向 type 吧？
也可參考一下 Barendregt 的 Introduction to Lambda Calculus.
網路上可抓得到 PDF 檔。很短的文件，但該提的都有提到。
如果要完整的書則可以找他的 The Lambda Calculus. Its
Syntax and Semantics.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.157.71