λ演算的语法和语义.zip

【文件属性】：

文件名称：λ演算的语法和语义.zip

文件大小：9.33MB

文件格式：ZIP

更新时间：2022-07-11 16:17:25

计算理论 丘奇 函数式编程

一本关于丘奇演算的教材，电子书，作者是荷兰学者H.P.巴伦德莱赫特

【文件预览】：
λ演算的语法和语义.pdf