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
Reflective Equilibrium
$84.99
Compression-Based Methods of Statistical Analysis and Prediction of Time Series
$109.99
National Systems of Innovation
$84.99
Cardiovascular Care in Patients With HIV
$54.99
Polyvinylchlorid und Vinylchlorid-Mischpolymerisate
$69.99
Super Student!
$4.46
Advances in Physarum Machines
$189.00
Advances in Information and Computer Security
$54.99
Trends and Challenges in Digital Business Innovation
$69.99
Womens Manga in Asia and Beyond
$139.99
Managementnachwuchs erfolgreich machen
$34.99
Persuasive Technology: Design for Health and Safety
$39.99
Simulationstechnik
$69.99
Traditional Chinese Villages
$129.99
Race Against Death: The Greatest POW Rescue of World War II (Scholastic Focus) (Hardcover)
$14.99
Computer Simulation Studies in Condensed-Matter Physics XVI
$109.99
Emotionen im Marketing
$69.99
Artificial Intelligence and Industrial Applications
$279.99
Protein Affinity Tags
$169.99
The Counter-Memorial Impulse in Twentieth-Century English Fiction
$39.99
NMR-Spektren richtig ausgewertet
$59.99
Rechte und Pflichten beim Einbau und Betrieb von Rauchwarnmeldern
$49.99
Influenza Pathogenesis and Control - Volume II
$169.99
Measurement, Mathematics and New Quantification Theory
$159.99
Morphological Research in Planning, Urban Design and Architecture
$139.00
Methoden der Mathematischen Physik
$59.99
The Chiari Malformations
$129.00
Handel mit Mehrwert
$59.99
Functional Analysis Methods for Reliability Models
$54.99
The Benzodiazepines: Current Standards for Medical Practice
$39.99
Interactive Technologies and Autism, Second Edition
$49.99
Innovations in Bio-Inspired Computing and Applications
$249.99
The Ultimate Book of Phonics Word Lists: Grades 3-5
$14.99
Mathematical Modeling in Combustion Science
$39.99
Umwandlungen in warmfesten Sthlen, Versuch einer Gleichgewichtsdarstellung der Karbidphasen
$79.99
Scaling up Learning for Sustained Impact
$54.99
National Geographic Readers: National Geographic Readers Spanish Collection Levels 1-3
$20.00
Handloom Sustainability and Culture
$159.99
Genetic Manipulation of Woody Plants
$169.00
Dependability in Sensor, Cloud, and Big Data Systems and Applications
$39.99
