作者xingulin (小林)
看板PLT
標題Re: [問題]介紹lampda calculus的書
時間Sat Jul 5 00:46:22 2008
※ 引述《allstarschh (allstars)》之銘言：
: 想了解lambda calculus
: 有在網路上找了一下
: 但大部分天瓏沒有在賣
: 目前知道天瓏有的就是
: Benjamin C. Pierce 的Types and Programming Languages
: 如果大家有不錯的書希望能介紹一下
: 台灣買不到也沒關系
: thanks
可以參考下面的網址︰
http://tinyurl.com/5dxajj
左邊子選單中的 "Course notes" 是網址中課程的教材，裡頭電子書的第八章
就是專章在說明 Lambda Calculus，或許可以參考看看。
另外電子書中的第三和第四章，則是今年 FLOLAC 研習營中，Neil Jones 教授
會講授的內容，也可以參考看看。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.99.62.55
※ 編輯: xingulin 來自: 122.99.62.55 (07/05 00:46)
※ 編輯: xingulin 來自: 140.118.109.179 (07/06 00:38)