注重体验与质量的电子书资源下载网站
分类于: 云计算&大数据 计算机基础
简介
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...