λ 演算
The lambda calculus
H. P. Barendregt · 初版 1981 年
- 8次提及
- 3人推荐
- 5位 HN 评论者
Hacker News 读者推荐
……为了准备我必须参加的标准化考试。看了几章之后，我才意识到这绝不是一本普通的微积分（Calculus）书。”不管怎样，现在有一个售价 25 美元的重印版 http://www.amazon.com/The-Lambda-Calculus-Syntax-Semantics/d...
dill_day 在 HN 的推荐
很棒的文章（顺便说一句，Stanford Encyclopedia of Philosophy 上还有很多），但我更喜欢 Henk Barendregt（Lambda 演算领域的大牛之一，比如参考文献里就引用了他的书《The Lambda Calculus: Its syntax and semantics.》）写的《Introduction to Lambda Calculus》，它还有一个额外的好处……
sb 在 HN 的推荐
这是一个精选书单：- Konrad Zuse 的《Calculating space》（见：https://news.ycombinator.com/item?id=18325689）- Charles Petzold 的《The Annotated Turing》- H. Barendregt 的《Introduction to Lambda Calculus》（把习题/证明做一遍）- Philip Wadler 的《Propositions as Types》- Thomas Sudkamp 的《Languages and Machines》第三部分
erwan 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0444875085
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。