 |
Basic Category Theory for Computer Scientists View Larger Image | Benjamin C. Pierce
MIT Press, Paperback, Published August 1991, 100 pages, ISBN 0262660717 | List Price: $25.00
Our Price: $19.50
You Save: $5.50 (22% Off)
| | | Availability: Out-Of-Stock |
Be the First to Write a Review and tell the world about this title!Books on similar topics, in best-seller order: Books from the same publisher, in best-seller order:
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 straightforward presentation of the basic constructions
and terminology of category theory, including limits, functors, natural transformations,
adjoints, and cartesian closed categories. Four case studies illustrate applications
of category theory to programming language design, semantics, and the solution
of recursive domain equations. A brief literature survey offers suggestions for
further study in more advanced texts. Benjamin C. Pierce received his doctoral
degree from Carnegie Mellon University.
About the Author
Benjamin C. Pierce is Professor of Computer and Information Science
at the University of Pennsylvania.
|
|
