Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Category Theory and Computer Science - 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Paperback, 1995 ed.) Loot Price: R1,599

Discovery Miles 15 990

Repayment Terms: R150 pm x 12*

Add to cart

Category Theory and Computer Science - 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11,...

Category Theory and Computer Science - 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Paperback, 1995 ed.)

David Pitt, David E. Rydeheard, Peter Johnstone

Series: Lecture Notes in Computer Science, 953

(sign in to rate)

Loot Price R1,599 Discovery Miles 15 990 | Repayment Terms: R150 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 953
Release date:	July 1995
First published:	1995
Editors:	David Pitt • David E. Rydeheard • Peter Johnstone
Dimensions:	233 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	259
Edition:	1995 ed.
ISBN-13:	978-3-540-60164-7
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers Promotions
LSN:	3-540-60164-3
Barcode:	9783540601647