shopping cart
Call us: 800-878-7323 HELP
McAfee SECURE helps keep you safe from identity theft, credit card fraud, spyware, spam, viruses and online scams.
Guests | December 7, 2009

Theodore Gray: IMG The Cornucopia of Home Science

1 comment By Theodore Gray

Reading old books of science experiments for children, it's easy to become nostalgic for the days when you could buy jugs of sulfur and mercury at... Continue »
  1. $20.96 Sale Hardcover add to wish list

    The Elements: A Visual Exploration of Every Known Atom in the Universe

    Theodore Gray
Ships free on qualified orders.
Add to Cart
$17.00
List price: $23.00
Used Trade Paper
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Technical Mathematics- Computer

More copies of this ISBN:

Other titles in the Research Monographs in Parallel and Distributed Computing series:

  1. Logic Programming: Proceedings of the the 7th International Conference

Basic Category Theory for Computer Scientists (Research Monographs in Parallel and Distributed Computing)

by Benjamin C Pierce

Basic Category Theory for Computer Scientists (Research Monographs in Parallel and Distributed Computing) Cover

ISBN13: 9780262660716
ISBN10: 0262660717
Condition: Standard
Dustjacket: None
All Product Details

Only 1 left in stock at $17.00!

Synopses & Reviews

Publisher Comments:

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.

Book News Annotation:

Assuming a minimum of mathematical preparation, presents 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.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Synopsis:

Contents: Tutorial. Applications. Further Reading.

Description:

Includes bibliographical references (p. 81-91) and index.
back to top

About the Author

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

Product Details

ISBN:
9780262660716
Author:
Pierce, Benjamin C
Publisher:
MIT Press (MA)
Author:
Pierce, Benjamin C.
Location:
Cambridge, Mass. :
Subject:
Computer Science
Subject:
Mathematics
Subject:
Logic
Subject:
Categories (mathematics)
Subject:
Categories
Subject:
Computer science -- Mathematics.
Copyright:
1991
Edition Description:
Trade paper
Series:
Research Monographs in Parallel and Distributed Computing
Series Volume:
9371
Publication Date:
January 1991
Binding:
Paperback
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
60
Pages:
116
Dimensions:
8.98x7.10x.38 in. .49 lbs.
back to top

Other books you might like

  1. $25.00 Used Hardcover add to wish list

    Algebraic Topology an Introduction

    William S Massey
  2. $7.50 Used Hardcover add to wish list

    Mathematical Biophysics 2ND Edition

    N Rashevesky
  3. $130.25 New Hardcover add to wish list

    An Introduction to Kolmogorov Complexity and Its Applications (Graduate Texts in Computer Science)

    Ming Li
  4. $148.75 New Hardcover add to wish list

    Complexity theory retrospective :in honor of Juris Hartmanis on the occasion of his sixtieth birthday, July 5, 1988

    A. L. Selman
  5. $10.95 Used Trade Paper add to wish list

    The Continuum: A Critical Examination of the Foundation of Analysis

    Hermann Weyl
  6. $18.00 Used Hardcover add to wish list

    Methods & Applications of Error-Free Computation

    R T Gregory
back to top

Related Aisles

  • back to top

Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.