Wonder Club world wonders pyramid logo
×

Category theory and computer science Book

Category theory and computer science
Category theory and computer science, , Category theory and computer science has a rating of 3 stars
   2 Ratings
X
Category theory and computer science, , Category theory and computer science
3 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
100 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Category theory and computer science
  • Written by author D. Pitt
  • Published by Berlin ; Springer-Verlag, c1987., 1987/11/01
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995. The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Category theory and computer science, , Category theory and computer science

X
WonderClub Home

This item is in your Collection

Category theory and computer science, , Category theory and computer science

Category theory and computer science

X
WonderClub Home

This Item is in Your Inventory

Category theory and computer science, , Category theory and computer science

Category theory and computer science

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: