作者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)