[問題]介紹lampda calculus的書

[allstarschh (allstars)]

想了解lambda calculus

有在網路上找了一下
但大部分天瓏沒有在賣

目前知道天瓏有的就是
Benjamin C. Pierce 的Types and Programming Languages

如果大家有不錯的書希望能介紹一下
台灣買不到也沒關系

thanks

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 211.22.63.250