Category Theory and Computer Science Book

2 Ratings

Category Theory and Computer Science, , Category Theory and Computer Science

3.5 out of 5 stars based on 2 reviews

Category Theory and Computer Science
Written by author David Pitt
Published by Springer-Verlag New York, LLC, October 2007
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 betwe

Buy Digital USD$99.99

Control Structures: a Model of Interaction 1
Convenient Category of Processes and Simulations I: Modulo Strong Bisimilarity 3
Dualities Between Nets and Automata Induced by Schizophrenic Objects 24
Relational Set Theory 44
Proof of a S. Mac Lane Conjecture 59
Effective Applicative Structures 81
The S-Replete Construction 96
The Convex Powerdomain in a Category of Posets Realized by CPOs 117
Lifting as a KZ-Doctrine 146
Categorical Fixed Point Calculus 159
A Category-Theoretic Treatment of a Parallel Algol-Like Language 180
Categorical Reconstruction of a Reduction Free Normalization Proof 182
Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages 200
V-Comprehensions and P Space 220
A Proposed Categorical Semantics for ML Modules 240

Title: Category Theory and Computer Science

Manufacturer:

Steidl Publishing

Item Number: 9783540601647

Publication Date: October 2007

Number: 1

Product Description: Category Theory and Computer Science

Universal Product Code (UPC): 9783540601647

WonderClub Stock Keeping Unit (WSKU): 9783540601647

Rating: 3.5/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/16/47/9783540601647.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between May 7 - Jun 6 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9296 total ratings)

Question Concerning Category Theory and Computer Science

Ask a Question about Category Theory and Computer Science

No Question found!

Read Reviews for Category Theory and Computer Science Write review

John Gladman

reviewed Category Theory and Computer Science on November 23, 2019

Category Theory and Computer Science

I hate to say this, but I wasn't as impressed with this book as I thought I should have been, GIVEN its place in the pantheon of programming books.

However, I still list this as a must read for all developers.

You must be logged in to add to Wishlist

Category Theory and Computer Science Book

Book Categories

Authors

Steidl Publishing

Question Concerning Category Theory and Computer Science

Read Reviews for Category Theory and Computer Science Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Category Theory and Computer Science, , Category Theory and Computer Science to the inventory that you are selling on WonderClub

Add Category Theory and Computer Science, , Category Theory and Computer Science to your collection on WonderClub

	Control Structures: a Model of Interaction	1
	Convenient Category of Processes and Simulations I: Modulo Strong Bisimilarity	3
	Dualities Between Nets and Automata Induced by Schizophrenic Objects	24
	Relational Set Theory	44
	Proof of a S. Mac Lane Conjecture	59
	Effective Applicative Structures	81
	The S-Replete Construction	96
	The Convex Powerdomain in a Category of Posets Realized by CPOs	117
	Lifting as a KZ-Doctrine	146
	Categorical Fixed Point Calculus	159
	A Category-Theoretic Treatment of a Parallel Algol-Like Language	180
	Categorical Reconstruction of a Reduction Free Normalization Proof	182
	Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages	200
	V-Comprehensions and P Space	220
	A Proposed Categorical Semantics for ML Modules	240