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
Verfahren und Einrichtungen zum Tiefbohren
$49.99
Sherlock Holmes and the Baker Street Irregulars: The Fall of the Amazing Zalindas
$5.24
Elektronische Steuerung von Ottomotoren
$19.99
A Biophilic Design Guide to Environmentally Sustainable Design Studios
$54.99
Multivariate Discrete q-Distributions
$44.99
A Literary Anthropology of Migration and Belonging
$84.99
Proteoform Identification
$139.99
Beitrge zur Frage der Stockwerk-Tektonik im Ruhrkohlengebiet IV
$49.99
Advanced Information Systems Engineering
$39.99
Neurobiopsychosocial Perspectives on Aggression and Violence
$139.99
United States Interests and Policies in Africa
$109.99
Viszeralchirurgie Fragen und Antworten
$39.99
Numerical Methods for Wave Equations in Geophysical Fluid Dynamics
$74.99
Knowledge Science, Engineering and Management
$109.99
Rock Fracture Mechanics
$109.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$59.99
Lovely Day
$5.21
Technischer Fortschritt und Technologiebewertung aus betriebswirtschaftlicher Sicht
$59.99
Ecological Effects of Fire in South African Ecosystems
$129.00
The Age of Lincoln and Cavour
$39.99
The Physical Environment and Behavior
$109.99
Port State Jurisdiction and the Regulation of International Merchant Shipping
$109.99
Database and Expert Systems Applications
$39.99
Grundstze ordnungsmiger Modellierung
$139.99
1st Global Conference on Biomedical Engineering & 9th Asian-Pacific Conference on Medical and Biolog
$169.99
Peptides 1990
$54.99
The Rhine
$169.00
PHP Web Development with Macromedia Dreamweaver MX 2004
$39.99
Strategies of Multinationals in Central and Eastern Europe
$54.99
Betriebsplanung im ffentlichen Personennahverkehr
$69.99
Bewertung der Potenziale ottomotorischer Verbrennung durch den Einsatz alternativer Kraftstoffe
$64.99
Socio-Economic Approach to Management
$44.99
Application of Machine Learning Models in Agricultural and Meteorological Sciences
$179.99
Faceted Search
$14.99
Hhere Mathematik fr Ingenieure Band I
$44.99
Globale und nationale First-Mover-Vorteile internetbasierter Geschftsmodelle
$69.99
Zur Technik der Kropfoperation
$59.99
Advanced Combustion Science
$54.99
Exactly Solvable Problems in Condensed Matter and Relativistic Field Theory
$84.99
Exploring European Frontiers
$129.00
