學習Lambda微積分有哪些資源？

所以維基百科條目Lambda Calculus很有意思，但我已經完成了。我希望深入一點並更好地理解Lambda微積分。學習Lambda微積分有哪些資源？

任何人都可以推薦他們認爲是Lambda微積分的最佳書籍或入門書嗎？

2009-02-05 mmcdole

請參閱math.sx問題[學習Lambda微積分]（http：//math.stackexchange。com/questions/967/learning-lambda-calculus/1059＃1059） – 2012-12-31 17:20:02

我投票重新開放，因爲儘管從某些觀點來看，這個主題對於編程來說真的很重要，我們應該聽取其他意見。 – alinsoar 2017-01-20 12:50:15

如果您已完成維基百科條目，請按照其鏈接指向在線Structure and Interpretation of Computer Programs，執行分配或read the book。

alt text http://mitpress.mit.edu/images/products/books/0262011530-medium.jpg

來源

2009-02-05 11:02:13 gimel

+1這是一個經典的資源。這是我的第一個編程課程的教科書。 – 2009-02-05 11:32:32

同上。儘管它更多的是實用性，而不是關於lambda微積分本身的形式。 – 2009-02-05 16:32:52

+1正在閱讀...而不是6-7年前...開發人員/編碼人員/程序員的世界。 – 2010-01-16 16:43:16

我發現克里斯·漢金「An introduction to Lambda Calculi for Computer Scientists」是不錯，但我只有真正使用它的一類 - 在現實世界:)

alt text http://ecx.images-amazon.com/images/I/4165AQ4AF8L._SL500_AA240_.jpg

來源

2009-02-05 11:30:54 Spedge

不使用那麼，總是有An Introduction to Lambda Calculus。我試過幾次，但總是被卡住了。我有一種嘮叨的感覺，我已經知道這些東西中的大部分，如果它是以Lisp/Scheme而不是數學的形式呈現的話，可能會更容易理解它。你可能有更好的運氣，雖然:)

來源

2009-02-05 11:42:56

我認爲關於lambda演算本身的參考本身仍然是Barendregt's book。

alt text http://ecx.images-amazon.com/images/I/41BRXJ7E7GL._SL500_AA240_.jpg

除此之外，它幾乎取決於什麼拉姆達演算的「一部分」，你感興趣的是：打字？證明理論？短期重寫？函數式編程？

這些都是一個領域本身，我不知道任何書都涵蓋了它。

來源

2009-02-05 12:15:34

嘗試編寫lambda微積分interpetter，理想情況下是使用語言的語法而不是通過解析器構建的函數式語言。這非常簡單，並且是一種改善您的感覺的好方法。

來源

2009-02-05 16:38:01 Brian

這裏是（使用計劃）一個很好的解釋：http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

這裏還有一個漂亮的位（從我的博客），減少遞歸階乘純lambda表達式： http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

玩得開心！

來源

2010-12-17 01:00:50 AshleyF

我最近從亞馬遜買了一本名爲Greg Michaelson的"An Introduction to Functional Programming Through Lambda Calculus"的書。它更多的是函數式編程的介紹，並且還引入了lambda演算。第一印象很好。一本自包含和易於閱讀的書。 Here，你可以在PostScript下載沒有索引的免費版本。

來源

2012-09-27 11:14:49 oakenshield1

真正讓我開始使用和理解lambda微積分的書是Blackburn和Bos的「自然語言的表示和推理」。這是一本關於使用Prolog進行自然語言處理的書。另一本你可能會考慮的書是艾倫的「自然語言理解」。最後，如果你喜歡lambda微積分，你可能也會喜歡組合邏輯，因爲組合器可以被定義爲單參數lambda表達式。爲此，我強烈建議Smullyan的謎題書「模仿一隻知更鳥」。最後，他使用組合器來構建基本的編程語言。

來源

2013-03-15 15:21:33

學習Lambda微積分有哪些資源？

回答

相關問題