Call Boomerang Books 1300 36 33 32

Get Latest Book News + FREE Shipping. Subscribe to the Boomerang Books Bulletin eNewsletter right now!

Description - Basic Category Theory for Computer Scientists by Benjamin C. Pierce

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.Contents : Tutorial. Applications. Further Reading.

Buy Basic Category Theory for Computer Scientists by Benjamin C. Pierce from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780262660716
ISBN-10: 0262660717
Format: Paperback
(229mm x 178mm x 10mm)
Pages: 116
Imprint: MIT Press
Publisher: MIT Press Ltd
Publish Date: 30-Sep-1991
Country of Publication: United States

Book Reviews - Basic Category Theory for Computer Scientists by Benjamin C. Pierce

» Have you read this book? We'd like to know what you think about it - write a review about Basic Category Theory for Computer Scientists book by Benjamin C. Pierce and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review

Author Biography - Benjamin C. Pierce

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

Books By Benjamin C. Pierce

Types and Programming Languages by Benjamin C. Pierce
Hardback, February 2002