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
Semiconductor Device Physics and Simulation
$169.99
Emerging Concepts in Neuro-Oncology
$169.99
Beitrge zur Frage der Stockwerk-Tektonik im Ruhrkohlengebiet IV
$49.99
The Emerging Digital Economy
$84.99
Collaborative Learning Through Computer Conferencing
$84.99
Shipwreck Narratives: Out of our Depth
$59.99
La perra de hola y adis
$5.21
Pankreatitisfibel
$84.99
Bildungsort Familie
$44.99
Evolution Inclusions and Variation Inequalities for Earth Data Processing I
$84.99
Die Zweitmeinung in der Schulterchirurgie - ein Muss
$79.99
Critical Theories of Psychological Development
$219.99
Statistische Methoden fr die Geschichtswissenschaften
$29.99
Contention and Trust in Cities and States
$129.00
Economic Globalization, International Organizations and Crisis Management
$169.99
Konfiguration internationaler Produktionsnetzwerke unter Bercksichtigung von Unsicherheit
$69.99
Ambivalent Joint Production and the Natural Environment
$74.99
Development Practice of Digital Business Environment in China
$119.99
Advances in Technical Diagnostics
$299.00
Venture Capital Redefined
$119.00
Robertson on Economic Policy
$54.99
Debating Leaderless Management
$199.99
Climate Policy Assessment
$129.00
Playing the Cards You're Dealt (Scholastic Gold)
$6.74
Stochastic Processes in Cell Biology
$84.99
Inclusive Education Developments in Africa
$99.00
Heroin and Music in New York City
$54.99
River Health and Ecology in South Asia
$109.99
Plane and Solid Geometry
$54.99
Entwurf passiver Analogvierpole
$84.99
The International Space Station (A True Book: Space Exploration)
$5.99
Notes from the Midnight Driver
$9.74
Patterns and Interfaces in Dissipative Dynamics
$39.99
Management im Umfeld von Komplexitt und fundamentalem Wandel
$17.99
Die Jagd nach den ersten Menschen
$64.99
Leverkusen Gestern Heute
$49.99
Industrial Safety Management
$109.99
Contemporary Methods in Bioinformatics and Biomedicine and Their Applications
$219.99
Psychosomatische Vorsorgemedizin
$9.99
Ein geschlossenes nichtlineares Modell zur Simulation des Kurzzeitverhaltens des Kreislaufsystems un
$69.99
