Basic Category Theory for Computer Scientists (Paperback or Softback)
Pierce, Benjamin C.
Sold by BargainBookStores, Grand Rapids, MI, U.S.A.
AbeBooks Seller since January 23, 2002
New - Soft cover
Condition: New
Quantity: 5 available
Add to basketSold by BargainBookStores, Grand Rapids, MI, U.S.A.
AbeBooks Seller since January 23, 2002
Condition: New
Quantity: 5 available
Add to basketBasic Category Theory for Computer Scientists.
Seller Inventory # BBS-9780262660716
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.
Contents
Tutorial • Applications • Further Reading
"About this title" may belong to another edition of this title.
BargainBookStores guarantees 100% Customer Satisfaction. We ship worldwide and offer a variety of shipping methods to meet your needs. Please place your order directly via ABEBooks.com. We accept payment by MasterCard and Visa. For more information, contact us by email at cs@bargainbookstores.com. Full contact info is below:
BargainBookStores.com LLC
3423 Lousma Dr SE
Grand Rapids, MI 49548
We will ship to all domestic and most international destinations.
Please note: Shipping times are estimated and are not guaranteed by BargainBookStores.
| Order quantity | 4 to 10 business days | 4 to 9 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 39.50 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.