Re: [問題]介紹lampda calculus的書
※ 引述《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
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 3 之 3 篇)：
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
