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 > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs)

Buy Now

Category Theory and Computer Science - Manchester, UK, September 5-8, 1989. Proceedings (Paperback, 1989 ed.) Loot Price: R1,660

Discovery Miles 16 600

Repayment Terms: R156 pm x 12*

Add to cart

Category Theory and Computer Science - Manchester, UK, September 5-8, 1989. Proceedings (Paperback, 1989 ed.): David H. Pitt,...

Category Theory and Computer Science - Manchester, UK, September 5-8, 1989. Proceedings (Paperback, 1989 ed.)

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne

Series: Lecture Notes in Computer Science, 389

(sign in to rate)

Loot Price R1,660 Discovery Miles 16 600 | Repayment Terms: R156 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, 389
Release date:	August 1989
First published:	1989
Editors:	David H. Pitt • David E. Rydeheard • Peter Dybjer • Andrew Pitts • Axel Poigne
Dimensions:	250 x 170 x 19mm (L x W x T)
Format:	Paperback
Pages:	372
Edition:	1989 ed.
ISBN-13:	978-3-540-51662-0
Categories:	Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Promotions
LSN:	3-540-51662-X
Barcode:	9783540516620