纯 Lambda 微积分，作者：Saroj Kausik 电子书下载

原名:Pure Lambda Calculus by Saroj Kausik
作品简介:Lambda 演算（λ-演算）是一种函数符号 对于纯 λ-演算，λ-
表达式减少了 .这些利用了上面解释的替换。……