Diogo Sousa 的 Lambda 演算 电子书下载

原名:Lambda Calculus by Diogo Sousa
作品简介:Lambda 演算的定义。语法。操作语义。自由变量和有界变量。不动点定理。定理。 Y 组合器。……