Basic Category Theory for Computer Scientists
By (author) Benjamin C. Pierce
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 to Backorder, No Due Date for Supply
Basic Category Theory for Computer Scientists by Benjamin C. Pierce
Book DescriptionCategory 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 DetailsISBN: 9780262660716
(229mm x 178mm x 10mm)
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, Hardback (February 2005)
A thorough and accessible introduction to a range of key ideas in type systems for programming language.
Types and Programming Languages, Hardback (February 2002)» View all books by Benjamin C. Pierce
A comprehensive introduction to type systems and programming languages.
» 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!)
Author Biography - Benjamin C. Pierce
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-2pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
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.