作者noctem (noctem)
看板PLT
标题Re: [问题]介绍lampda calculus的书
时间Sat Jul 5 23:41:04 2008
※ 引述《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