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
Mobile Computing, Applications, and Services
$54.99
Religion and Family Links
$39.99
Cosmological Parameters and the Evolution of the Universe
$109.99
Relationale Datenbanken und SQL in Theorie und Praxis
$39.99
Graceling Graceling Realm Series #1 by Kristin Cashore
$16.99
Verstrken von Betonbauteilen
$32.99
British Subversive Propaganda during the Second World War
$89.00
Sustainable Solutions for Urban Water Security
$139.99
Decision and Game Theory for Security
$54.99
Background to the Anzus Pact
$109.99
Pattern Recognition and Computer Vision
$89.99
Usability
$109.99
Swarm Intelligence
$109.99
Let's Bee Thankful (Bumble and Bee #3)
$4.49
Expert C# Business Objects
$44.99
Mutation Breeding in Coffee with Special Reference to Leaf Rust
$59.99
Der Markt als Mitte(l)
$49.99
Architektour
$64.99
The European Ombudsman and Good Administration in the European Union
$199.99
Love and Romance in Britain, 1918 - 1970
$54.99
eGovernment in Deutschland - eine unvermutete Erfolgsgeschichte
$54.99
Swift 2 for Absolute Beginners
$39.99
Plant Gene Regulatory Networks
$59.99
Artificial Intelligence Oceanography
$59.99
Politische Partizipation in der Bundesrepublik
$59.99
Increasing Naturalness and Flexibility in Spoken Dialogue Interaction
$199.99
Theorie und Praxis der Softwaremessung
$59.99
Biorefining of Biomass to Biofuels
$109.99
Applied Calculus with R
$89.99
Sensory Coding in the mammalian nervous system
$39.99
Satellite Space Mission (The Magic School Bus Rides Again)
$4.49
Die antike Mathematik
$29.99
Murine Models, Energy Balance, and Cancer
$109.99
Fostering Trade in Africa
$139.00
European Yearbook of International Economic Law 2020
$219.99
Spectral Methods for Operators of Mathematical Physics
$169.99
Klinische Psychologie & Psychotherapie
$49.99
Transnational Protest, Australia and the 1960s
$109.99
Essentials of Medical Meteorology
$129.00
Node.js Recipes
$44.99
