惰性 Lambda 微积分 Samson Abramsky 帝国理工学院计算系 … 电子书下载

原名:The Lazy Lambda Calculus Samson Abramsky Department of Computing Imperial College of …
作品简介:1 简介。函数式编程普遍接受的基础是 β 演算；据民间传说，β-演算是其原型……