Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540446613
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Issues of Decapod Crustacean Biology

Issues of Decapod Crustacean Biology

$129.00
Progress in the Chemistry of Organic Natural Products 124

Progress in the Chemistry of Organic Natural Products 124

$199.99
Verstehende Soziologie und Theorie der Symbolischen Interaktion

Verstehende Soziologie und Theorie der Symbolischen Interaktion

$59.99
Teil I: Referate

Teil I: Referate

$69.99
Protocols for High-Speed Networks VI

Protocols for High-Speed Networks VI

$219.99
Potenzialbeurteilung - Diagnostische Kompetenz entwickeln, die Personalauswahl optimieren

Potenzialbeurteilung - Diagnostische Kompetenz entwickeln, die Personalauswahl optimieren

$24.99
G Protein-Coupled Receptor Genetics

G Protein-Coupled Receptor Genetics

$169.99
Betrieb von Elektrizittswerken

Betrieb von Elektrizittswerken

$69.99
Drug Metabolism and Pharmacokinetics Quick Guide

Drug Metabolism and Pharmacokinetics Quick Guide

$84.99
Italy in the Age of Pinocchio

Italy in the Age of Pinocchio

$54.99
Handbook on the History of Mathematics Education

Handbook on the History of Mathematics Education

$379.99
KI-96: Advances in Artificial Intelligence

KI-96: Advances in Artificial Intelligence

$39.99
Hypertension and Cardiovascular Disease

Hypertension and Cardiovascular Disease

$169.99
Aristotles Theory of the Syllogism

Aristotles Theory of the Syllogism

$109.99
Local Quantum Measurement and Relativity

Local Quantum Measurement and Relativity

$159.99
Vergleichende Reproduktionsbiologie der Wirbeltiere

Vergleichende Reproduktionsbiologie der Wirbeltiere

$59.99
Age Diversity Management in China

Age Diversity Management in China

$74.99
Influenza

Influenza

$109.99
Literature and Society

Literature and Society

$39.99
Multidisciplinary Computational Anatomy

Multidisciplinary Computational Anatomy

$119.99
Identity, Interests and Attitudes to European Integration

Identity, Interests and Attitudes to European Integration

$79.99
Optoelectronic Devices in Robotic Systems

Optoelectronic Devices in Robotic Systems

$109.00
Calcined Clays for Sustainable Concrete

Calcined Clays for Sustainable Concrete

$219.99
Somatization and Psychosomatic Symptoms

Somatization and Psychosomatic Symptoms

$159.99
Management Philosophy

Management Philosophy

$109.99
Proceedings of the 3rd International Symposium on Orbital Disorders Amsterdam, September 57, 1977

Proceedings of the 3rd International Symposium on Orbital Disorders Amsterdam, September 57, 1977

$39.99
The ASCRS Manual of Colon and Rectal Surgery

The ASCRS Manual of Colon and Rectal Surgery

$139.00
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

$39.99
Precipitation Modeling and Quantitative Analysis

Precipitation Modeling and Quantitative Analysis

$109.99
Introduction to the Galois Correspondence

Introduction to the Galois Correspondence

$39.99
Ortung mit elektrischen und Ultraschallwellen in Technik und Natur. Die ferromagnetischen Werkstoffe

Ortung mit elektrischen und Ultraschallwellen in Technik und Natur. Die ferromagnetischen Werkstoffe

$59.99
Science and Society

Science and Society

$109.99
Pocket Guide Geology in the Field

Pocket Guide Geology in the Field

$84.99
Peptidomimetics I

Peptidomimetics I

$299.00
Supercomputing

Supercomputing

$84.99
Building the Global Fiber Optics Superhighway

Building the Global Fiber Optics Superhighway

$84.99
Interactions and Adaptation Strategies of Marine Organisms

Interactions and Adaptation Strategies of Marine Organisms

$169.99
Wachstum, Geschlecht und Fortpflanzung

Wachstum, Geschlecht und Fortpflanzung

$59.99
Kulturgeographie der USA

Kulturgeographie der USA

$69.99
Topics in Control Theory

Topics in Control Theory

$34.99
previous
next