Mega Dose
 
 

Recently Viewed clear list


Original Essays | September 30, 2014

Benjamin Parzybok: IMG A Brief History of Video Games Played by Mayors, Presidents, and Emperors



Brandon Bartlett, the fictional mayor of Portland in my novel Sherwood Nation, is addicted to playing video games. In a city he's all but lost... Continue »

spacer
Qualifying orders ship free.
$18.50
Used Trade Paper
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Beaverton Software Engineering- General

More copies of this ISBN

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:
The MIT Press
Author:
Pierce, Benjamin C.
Location:
Cambridge, Mass. :
Subject:
Computer Science
Subject:
Mathematics
Subject:
Logic
Subject:
Categories (mathematics)
Subject:
Categories
Subject:
Computer science -- Mathematics.
Subject:
Mathematics-Logic and Philosophy
Copyright:
Edition Description:
Trade paper
Series:
Foundations of Computing Basic Category Theory for Computer Scientists
Series Volume:
9371
Publication Date:
19910807
Binding:
Paperback
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 $170.50
  3. The Continuum: A Critical... Used Trade Paper $4.50
  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) Used Trade Paper
0 stars - 0 reviews
$18.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.