Basic category theory for computer scientists /

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 prep...

Full description

Bibliographic Details

Main Author:	Pierce, Benjamin C.
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1991.
Series:	Foundations of computing
Subjects:	Computer science > Mathematics. Categories (Mathematics) Algebra COMPUTER SCIENCE/General Electronic books.
Online Access:	Connect to the full text of this electronic book