Basic Category Theory for Computer Scientists Image close
Basic Category Theory for Computer Scientists by Benjamin C Pierce
Basic Category Theory for Computer Scientists by Benjamin C Pierce
Show Hide Adult Content
Basic Category Theory for Computer Scientists close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Basic Category Theory for Computer Scientists

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$100.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $25.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Foundations of Computing

See all products in this series

The Formal Semantics of Programming Languages by Glynn Winskel
$226.99
The Formal Semantics of Programming Languages
by Glynn Winskel ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Category theory is a branch of pure mathematics that is an important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is a standard language of discourse. Assuming a minimum of mathematical preparation, "Basic Theory for Computer Scientists" provides a 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.

Author Biography:

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Release date Australia
August 7th, 1991
Audience
  • Professional & Vocational
Interest Age
From 18 years
Pages
116
Dimensions
178x229x8
ISBN-13
9780262660716
Product ID
3670983

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Benjamin C Pierce

See all books by this author

Types and Programming Languages on Hardback by Benjamin C Pierce
$276.99
Types and Programming Languages
by Benjamin C Pierce ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists