Galois连接和定点微积分Galois Connections and Fixed Point Calculus
介绍了程序构造数学中的基本代数结构，重点介绍了递归的代数性质以及如何将其应用于编程问题的一般解。
下载地址
用户评论
