1300 36 33 32

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 book by Benjamin C. Pierce from Australia's Online 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

Reviews

» 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 member - it's free to sign up!)

Write Review


Author Biography - Benjamin C. Pierce

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

Books By Author Benjamin C. Pierce

Types and Programming Languages by Benjamin C. Pierce

Types and Programming Languages

Hardback, February 2002
$152.10