Computational Category Theory
简介：
本书是函数式编程语言标准ML中范畴论的概念和结构的实现。它从算法到算法，直到所有基本范畴论都以精确的计算形式布局。
英文简介：
This is a version of Computational Category Theory that is available for personal use only. Distributing copies, multiple downloads, availability at other websites, or use of any of the text for commercial purposes is strictly forbidden. Full copyright remains with the authors.
- 书名
- Computational Category Theory
- 译名
- 计算范畴论
- 语言
- 英语
- 页数
- 263页
- 大小
- 920.90 kB
- 下载
Computational Category Theory.pdf- 密码
- 65536
最后更新：2025-04-12 23:57:45
→Category Theory: A Programming Language Oriented Introduction