面向计算机科学家的λ演算导论
An Introduction To Lambda Calculi For Computer Scientists
C. Hankin
- 2次提及
- 2人推荐
- 2位 HN 评论者
Hacker News 读者推荐
……途径就是去读理论，毕竟 lambda-calculus 作为一种演算本身极其简单，你完全可以对手头绑定的变量重命名（bound-variable renaming）问题含糊带过。一本节奏平缓的教材，比如 Hankin 的《An Introduction to Lambda Calculi for Computer Scientists》，再把前几章的练习题做做，就完全够用了。
mafribe 在 HN 的推荐
我发现《An Introduction to Lambda Calculi for Computer Scientists》[1] 这本书很适合入门这些概念。对于想更进一步的人，Henk Barendregt[2] 的著作被广泛认为是 lambda-calculus 和组合子（combinators）方面的权威参考。刚大学毕业那会儿……
thamer 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0954300653
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。