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
Measuring Supply Managements Budget Effects
$39.99
Geschftsmodell-Innovation im Zeitalter der vierten industriellen Revolution
$39.99
Computerdynamik der Tragwerke
$64.99
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection
$129.99
Rechneruntersttzte Konstruktion von Umformwerkzeugen und die Fertigungsplanung von Werkzeugelemente
$69.99
Indigenous Indian Management
$149.00
Contact, Adhesion and Rupture of Elastic Solids
$219.99
ber die schnellen Teilprozesse photosensibilisierter Substrat-bertragungen
$59.99
Empowering 21st Century Learners Through Holistic and Enterprising Learning
$129.00
Intra- und interorganisationale Delegation
$49.99
Chemokines
$89.00
Combinatorial Optimization and Applications
$54.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$44.99
Media Resistance
$31.00
Transactions of the International Astronomical Union, Volume XXIB
$54.99
Academic Freedom in the European Context
$159.99
Ingenieurakustik
$44.99
A 25-Year Perspective on Logic Programming
$39.99
Architecting User-Centric Privacy-as-a-Set-of-Services
$109.99
Interaktive Systeme
$59.99
Culture Negative Orthopedic Biofilm Infections
$129.00
Spezialitten und Geheimmittel
$49.99
Issues in Contemporary Philosophy of Religion
$109.99
The Discourse Trap and the US Military
$39.99
The Axis Vertebra
$39.99
Proceedings of the 8th International Symposium on Heating, Ventilation and Air Conditioning
$259.00
Abschluprfung fr den Kaufmann/die Kauffrau im Einzelhandel
$69.95
Queer Social Movements and Activism in Indonesia and Malaysia
$139.99
Formal Methods
$99.99
Life in the Universe
$69.99
Coma and Disorders of Consciousness
$84.99
Antimilitarism
$54.99
Past, Present and Future of a Habitable Earth
$37.99
Comparative Education Research
$189.00
Real Numbers, Generalizations of the Reals, and Theories of Continua
$169.99
Public Opinion in Postcommunist Russia
$29.99
Autonomous Intelligent Cyber Defense Agent (AICA)
$139.00
Super King Viking Land!: A Branches Book (Press Start! #13)
$5.24
Fundamentals in Air Pollution
$89.99
Le Tractatus de Wittgenstein et l thique de Spinoza
$39.99
