很久以前根據一本入門書，自學過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)還有像超多函數式語言(其實也不只函數式..)都是基於λ演算的. 而他原本作為形式系統,應該就有很多可以研究的?