作者allstarschh (allstars)
看板PLT
标题[问题]介绍lampda calculus的书
时间Fri Jul 4 11:50:24 2008
想了解lambda calculus
有在网路上找了一下
但大部分天珑没有在卖
目前知道天珑有的就是
Benjamin C. Pierce 的Types and Programming Languages
如果大家有不错的书希望能介绍一下
台湾买不到也没关系
thanks
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 211.22.63.250