Basic Category Theory for Computer Scientists by Benjamin C. Pierce
Look inside with Google Book Preview
Basic Category Theory for Computer Scientists
By Benjamin C. Pierce

Basic Category Theory for Computer Scientists

By (author) See other recent books by Benjamin C. Pierce
Format: Paperback

Normal Price: $59.95
Your Price: $53.96 AUD, inc. GST
Shipping: $7.95 per order
You Save: $5.99! (10% off normal price)
Plus...earn $2.70 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Basic Category Theory for Computer Scientists by Benjamin C. Pierce

Book Description

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

Books By Author Benjamin C. Pierce

Advanced Topics in Types and Programming Languages by Benjamin C. Pierce Advanced Topics in Types and Programming Languages, Hardback (February 2005)

A thorough and accessible introduction to a range of key ideas in type systems for programming language.

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

A comprehensive introduction to type systems and programming languages.

» View all books by Benjamin C. Pierce

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 a book review


Author Biography - Benjamin C. Pierce

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

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Benjamin C. Pierce close
Advanced Topics in Types and Programming Languages by Benjamin C. Pierce
Types and Programming Languages by Benjamin C. Pierce
»
BoomerangBooks.com.au close