Basic Category Theory for Computer Scientists by Benjamin C. Pierce
English | 30 Sept. 1991 | ISBN: 0262660717 | 110 Pages | PDF | 8 MB
English | 30 Sept. 1991 | ISBN: 0262660717 | 110 Pages | PDF | 8 MB
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.