Nonficionado Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Q&A | May 20, 2015

    Michael Perry: IMG Powell's Q&A: Michael Perry



    Describe your latest book. On Christmas Eve itself, the bachelor Harley Jackson stepped into his barn and beheld there illuminated in the straw a... Continue »
    1. $18.19 Sale Hardcover add to wish list

      The Jesus Cow

      Michael Perry 9780062289919

    spacer
Qualifying orders ship free.
$37.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
1 Remote Warehouse Mathematics- Logic and Philosophy

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

by

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

 

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.

Synopsis:

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.

Synopsis:

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,

Description:

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

About the Author

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

Product Details

ISBN:
9780262660716
Author:
Pierce, Benjamin C.
Publisher:
Mit Press
Location:
Cambridge, Mass. :
Subject:
Computer Science
Subject:
Mathematics
Subject:
Logic
Subject:
Categories (mathematics)
Subject:
Categories
Subject:
Computer science -- Mathematics.
Subject:
Mathematics-Logic and Philosophy
Edition Description:
Trade paper
Series:
Foundations of Computing Basic Category Theory for Computer Scientists
Series Volume:
9371
Publication Date:
19910831
Binding:
TRADE PAPER
Grade Level:
from 17
Language:
English
Illustrations:
60
Pages:
116
Dimensions:
9 x 7 x 0.4 in

Other books you might like

  1. Mathematical models in the social... Used Hardcover $15.50
  2. Complexity theory retrospective :in... New Hardcover $200.95
  3. The Continuum: A Critical... Used Trade Paper $6.00
  4. Methods & Applications of Error-Free... New Hardcover $108.50
  5. Introduction to Circuit Complexity... New Hardcover $130.25

Related Subjects

» Arts and Entertainment » Architecture » Drafting
» Arts and Entertainment » Architecture » Drawing and Design
» Arts and Entertainment » Architecture » General
» Computers and Internet » Computers Reference » General
» Computers and Internet » Personal Computers » General
» Computers and Internet » Software Engineering » General
» Science and Mathematics » Mathematics » Computer
» Science and Mathematics » Mathematics » Foundations and Logic
» Science and Mathematics » Mathematics » Logic and Philosophy

Basic Category Theory for Computer Scientists (Research Monographs in Parallel and Distributed Computing) New Trade Paper
0 stars - 0 reviews
$37.50 In Stock
Product details 116 pages Mit - English 9780262660716 Reviews:
"Synopsis" by , Contents: Tutorial. Applications. Further Reading.
"Synopsis" by , 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.
"Synopsis" by , 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,
spacer
spacer
  • back to top

FOLLOW US ON...

     
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 gifts — here at Powells.com.