很久以前根据一本入门书，自学过lambda calculus，觉得这东西也不是太难，
似乎稍花些气力就可以掌握全部，自己的一些想法还可以通过编程验证。
但是最近，听说lambda calculus的水其实很深，有些学者一辈子研究它都研究
不透，典型的就是英国牛津有些教授一直在专门做这个，所以我想问一下，lambda
calculus真的这么难吗？其中的内容这么丰富吗？

是哪本书呢？

程式语言理论 类型理论水非常深的样子简单看过入-Calculus and Combinators, an Introduction觉得各种变换和日常的程式语言关系不算大所以正在看入calculus和程式语言关系的书

Barendregt 写的 入-Calculus: Its Syntax and Semantics想看大部头的砖块可以看看

里面应该也非常多有趣的东西XD 像不动点组合子我之前上课听过的一些有趣议题:计算顺序 & normal form: Church-Rosser theorem一些类型理论 (然后还有 Curry-Howard correspondence)还有像超多函数式语言(其实也不只函数式..)都是基于λ演算的. 而他原本作为形式系统,应该就有很多可以研究的?