Sign in to your account or register new one to have full control over your orders, receive bonuses and more.
New customer? Register
Subtotal: 0.00
Total Items In Cart:
Presents the proceedings of AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic that was held at the University of Colorado in Boulder. This book discusses the use of category theory in formalizing aspects of computer programming and program design.