看板 [ PLT ]
討論串[問題]介紹lampda calculus的書
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[問題]介紹lampda calculus的書
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者allstarschh (allstars)時間17年前 (2008/07/04 11:50), 編輯資訊
2
0
0
內容預覽:
想了解lambda calculus. 有在網路上找了一下. 但大部分天瓏沒有在賣. 目前知道天瓏有的就是. Benjamin C. Pierce 的Types and Programming Languages. 如果大家有不錯的書希望能介紹一下. 台灣買不到也沒關系. thanks. --. ※
#2
Re: [問題]介紹lampda calculus的書
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者xingulin (小林)時間17年前 (2008/07/05 00:46), 編輯資訊
0
0
1
內容預覽:
可以參考下面的網址︰. http://tinyurl.com/5dxajj. 左邊子選單中的 "Course notes" 是網址中課程的教材，裡頭電子書的第八章. 就是專章在說明 Lambda Calculus，或許可以參考看看。. 另外電子書中的第三和第四章，則是今年 FLOLAC 研習營中，N
(還有31個字)
#3
Re: [問題]介紹lampda calculus的書
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者noctem (noctem)時間17年前 (2008/07/05 23:41), 編輯資訊
0
0
0
內容預覽:
這本是蠻受歡迎的書。顧名思義，內容應該會比較偏向 type 吧？. 也可參考一下 Barendregt 的 Introduction to Lambda Calculus.. 網路上可抓得到 PDF 檔。很短的文件，但該提的都有提到。. 如果要完整的書則可以找他的 The Lambda Calcul
首頁
上一頁
1
下一頁
尾頁