Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Category Theory and Computer Science
Best Price (Coupon Required):
Buy Category Theory and Computer Science for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Die Konsum- und Investitionsfunktion. Untersuchung fr die Bundesrepublik Deutschland
$59.99
Conductors, Semiconductors, Superconductors
$59.99
Directed Enzyme Evolution
$129.00
Physical Modifications of Starch
$169.99
Cam Jansen and the Mystery of the Dinosaur Bones
$4.46
Teaching Philosophy in Early Modern Europe
$159.99
Grundlagen der Sportmotorik im Bachelorstudium (Band 1)
$29.99
Advances in Human Aspects of Transportation
$259.00
Pflege im Fokus
$24.99
Fortschritte des Kinderschutzes und der Jugendfrsorge
$49.99
Cooperative Coverage Control of Multi-Agent Systems and its Applications
$139.99
Recent Developments in Structural Engineering, Volume 1
$169.00
Demokratie und Anomie
$69.99
JIMD Reports, Volume 45
$54.99
Women in Civil Society
$39.99
Footprints in Micrometeorology and Ecology
$84.99
rztinnen fr Frauen
$39.99
Pharmacokinetic-Pharmacodynamic Modeling and Simulation
$279.99
Psychotherapie Welche Effekte verndern?
$84.99
Advances in Bioprocess Engineering and Technology
$219.99
Teaching Chemistry A Studybook
$49.99
Notes from the Midnight Driver
$9.74
Risks, Violence, Security and Peace in Latin America
$44.99
Differentiability of Six Operators on Nonsmooth Functions and p-Variation
$39.99
Model-Driven Organizational and Business Agility
$39.99
National Brands and Private Labels in Retailing
$109.99
The Skin I'm In: The Life I'm In
$8.99
Dragon Mountain by Katie Tsang
$8.99
Glck
$29.99
Achsen adoleszenter Zugehrigkeitsarbeit
$29.99
Corrosion in CO2 Capture, Transportation, Geological Utilization and Storage
$149.00
Spiele, Rtsel, Zahlen
$24.99
Computer Vision ECCV 2022 Workshops
$119.99
Slow Motion
$69.99
Image-Guided Spine Interventions
$74.99
Water Saving Techniques for Plant Growth
$39.99
Queer Love in the Middle Ages
$129.99
Research in Computational Molecular Biology
$34.99
Universal Aspects of Scientific Practice: Commitment, Methodology, and Technique
$49.99
Lehrbuch der Ansthesiologie und Intensivmedizin
$54.99
