※ 引述《carelai (风云人物)》之铭言：
: 很久以前根据一本入门书，自学过lambda calculus，觉得这东西也不是太难，
: 似乎稍花些气力就可以掌握全部，自己的一些想法还可以通过编程验证。
: 但是最近，听说lambda calculus的水其实很深，有些学者一辈子研究它都研究
: 不透，典型的就是英国牛津有些教授一直在专门做这个，所以我想问一下，lambda
: calculus真的这么难吗？其中的内容这么丰富吗？
可以参考一下这篇文章:
http://www.yinwang.org/blog-cn/2013/07/13/church-turing/
对于作者本人, 我觉得立场强烈,
所以大概不会每个角落都绝对地中肯严谨.
不过还蛮值得参考的, 至少它代表有人是这样在理解的. ^^