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