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