Basic Category Theory for Computer Scientists 豆 8.3分

资源最后更新于 2020-11-21 02:18:18

作者：Benjamin C. Pierce

出版社：The MIT Press

出版日期：1991-01

ISBN：9780262660716

文件格式： pdf

标签： 范畴论 计算机科学 数学 category 计算机 Programming CS 编程

简介· · · · · ·

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforwar...