什麼是 Lambda 演算？

---

我寫了一篇科普文章「讓我們談談 lambda 演算」

https://github.com/txyyss/Lambda-Calculus/releases

覺得我起碼把無類型的純 lambda 演算的 beta 規約講得很清楚了。

---

康托爾、哥德爾、圖靈——永恆的金色對角線(rev#2)

簡單來說就是一種非常簡潔的數學符號系統，但是又是有和圖靈機等價的計算能力。

---

你可以看這個博客http://blog.csdn.net/g9yuayon/article/category/16776

---

老外寫了系列文章，cgnail 做了中文翻譯，非常棒，每篇翻譯都有原文的鏈接。

• 我的最愛Lambda演算——開篇 · cgnail"s weblog

• 阿隆佐.丘奇的天才之作——lambda演算中的數字 · cgnail"s weblog

• Lambda演算中的布爾值和選擇 · cgnail"s weblog

• 為什麼是Y？ · cgnail"s weblog

• 從Lambda演算到組合子演算 · cgnail"s weblog

• Lambda演算的類型 · cgnail"s weblog

• 終章，Lambda演算建模——程序即證明！ · cgnail"s weblog

---

這是我看到的最清晰的解釋，：)

http://mp.weixin.qq.com/s?__biz=MzIwMDgyNzUzNw==mid=2247483658idx=1sn=2dde89033d2fef0cba307db9b8b5489escene=0#wechat_redirect

---

編程語言的基石——Lambda calculus

---

可以參考

MIT認知科學家給純小白的Lambda(λ)演算講解

---

(λx ?λy ? ( yx))(λz ? (zy))?λy ? ( y(λz ? (zy))) 這個怎麼解釋啊，為什麼兩個並列的lambda運算還可以計算啊

---

& ::= &

| (lambda (&) &)

| (& &)

---

推薦閱讀：