计算类别理论Computational Category Theory

【文件属性】：
文件名称：计算类别理论Computational Category Theory
文件大小：98B
文件格式：TXT
更新时间：2022-12-05 11:31:08
计算机科学 本书是类别理论与计算机编程之间的桥梁。 它试图使用功能性编程语言ML将抽象数学与具体程序联系起来。