剧情简介：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...(展开全部)
作者：Benjamin C·Pierce
出版社：The MIT Press
ISBN：9780262660716
