|
Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Category Theory and Computer Science - Edinburgh, UK, September 7-9, 1987. Proceedings (Paperback, 1987 ed.)
Loot Price: R1,501
Discovery Miles 15 010
|
|
|
Category Theory and Computer Science - Edinburgh, UK, September 7-9, 1987. Proceedings (Paperback, 1987 ed.)
Series: Lecture Notes in Computer Science, 283
Expected to ship within 18 - 22 working days
|
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
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
