[問題] lambda演算的水有多深？

[carelai (風云人物)]

很久以前根據一本入門書，自學過lambda calculus，覺得這東西也不是太難，
似乎稍花些氣力就可以掌握全部，自己的一些想法還可以通過編程驗證。

但是最近，聽說lambda calculus的水其實很深，有些學者一輩子研究它都研究
不透，典型的就是英國牛津有些教授一直在專門做這個，所以我想問一下，lambda
calculus真的這么難嗎？其中的內容這么豐富嗎？

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 114.86.96.153
推 UncleHS:是哪本書呢？
推 jokester:程式語言理論 類型理論水非常深的樣子
→ jokester:簡單看過入-Calculus and Combinators, an Introduction
→ jokester:覺得各種變換和日常的程式語言關系不算大
→ jokester:所以正在看入calculus和程式語言關系的書
→ xcycl:Barendregt 寫的 入-Calculus: Its Syntax and Semantics
→ xcycl:想看大部頭的磚塊可以看看
推 suhorng:裡面應該也非常多有趣的東西XD 像不動點組合子
→ suhorng:我之前上課聽過的一些有趣議題:
→ suhorng:  計算順序 & normal form: Church-Rosser theorem
→ suhorng:  一些類型理論 (然後還有 Curry-Howard correspondence)
→ suhorng:還有像超多函數式語言(其實也不只函數式..)都是基於λ演算
→ suhorng:的. 而他原本作為形式系統,應該就有很多可以研究的?