计算 lambda 演算和 monad – DISI 电子书下载

原名:Computational lambda-calculus and monads – DISI
作品简介:引入一种基于分类语义的新微积分计算。
最后我们得到一个正式的系统，计算 lambda 演算 (λc-……