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
9783540695523
Condition
New
Product Description

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Cellular and Molecular Biology of Mammary Cancer

Cellular and Molecular Biology of Mammary Cancer

$39.99
Alltgliche Bewltigungs- und Widerstandspraktiken Schwarzer Menschen in Deutschland, Frankreich und

Alltgliche Bewltigungs- und Widerstandspraktiken Schwarzer Menschen in Deutschland, Frankreich und

$69.99
Die Behandlung der Quartren Syphilis mit Akuten Infektionen

Die Behandlung der Quartren Syphilis mit Akuten Infektionen

$59.99
Technological Innovations in Education

Technological Innovations in Education

$129.00
Formeln und Aufgaben zur Technischen Mechanik 2

Formeln und Aufgaben zur Technischen Mechanik 2

$14.99
Agent and Multi-Agent Systems: Technologies and Applications

Agent and Multi-Agent Systems: Technologies and Applications

$109.99
Women, Murder and Femininity

Women, Murder and Femininity

$99.99
Progress in Botany Vol. 84

Progress in Botany Vol. 84

$149.00
Mothers and Fathers

Mothers and Fathers

$59.99
Engineering of Functional Skeletal Tissues

Engineering of Functional Skeletal Tissues

$169.00
Signs

Signs

$3.71
Kompendium Internistische Onkologie Standards in Diagnostik und Therapie

Kompendium Internistische Onkologie Standards in Diagnostik und Therapie

$229.00
Dermatological Surgery

Dermatological Surgery

$219.99
Ergnzende und sonstige Leistungen, Zuzahlung

Ergnzende und sonstige Leistungen, Zuzahlung

$59.99
Die private Rentenversicherung im Einkommensteuerrecht

Die private Rentenversicherung im Einkommensteuerrecht

$39.99
Proteomics for Biomarker Discovery

Proteomics for Biomarker Discovery

$109.99
Postcolonial Moves

Postcolonial Moves

$54.99
Data Management in the Cloud

Data Management in the Cloud

$29.99
Organisation der Strategischen Planung

Organisation der Strategischen Planung

$59.99
There Was an Old Lady Books: There Was An Old Mermaid Who Swallowed a Shark!

There Was an Old Lady Books: There Was An Old Mermaid Who Swallowed a Shark!

$3.74
Domain-Specific Conceptual Modeling

Domain-Specific Conceptual Modeling

$219.99
The Discourse of ADHD

The Discourse of ADHD

$119.00
La princesa y el guisante

La princesa y el guisante

$3.71
Batching and Scheduling

Batching and Scheduling

$54.99
Mathematical Optimization Theory and Operations Research

Mathematical Optimization Theory and Operations Research

$54.99
Sport Science in Germany

Sport Science in Germany

$109.99
Titrimetric Methods

Titrimetric Methods

$54.99
Monitoring Nature Conservation in Cultural Habitats:

Monitoring Nature Conservation in Cultural Habitats:

$84.99
Routing Algorithms in Networks-on-Chip

Routing Algorithms in Networks-on-Chip

$169.99
Understanding ASEANs Role in Asia-Pacific Order

Understanding ASEANs Role in Asia-Pacific Order

$109.99
Lauterkeitsrecht und Acquis Communautaire

Lauterkeitsrecht und Acquis Communautaire

$99.00
Quintessenz der Unternehmensbewertung

Quintessenz der Unternehmensbewertung

$64.99
Antisense Research and Application

Antisense Research and Application

$549.99
Auslegung von rotationssymmetrischen Flieprewerkzeugen im Bereich elastisch-plastischen Werkstoffv

Auslegung von rotationssymmetrischen Flieprewerkzeugen im Bereich elastisch-plastischen Werkstoffv

$84.99
Immunglobuline in der Frauenheilkunde

Immunglobuline in der Frauenheilkunde

$69.99
Wilkie Collins

Wilkie Collins

$54.99
Baugemeinschaften als stdtebauliches Entwicklungsinstrument

Baugemeinschaften als stdtebauliches Entwicklungsinstrument

$49.99
Joining Decisions in Open Collaborative Innovation Communities

Joining Decisions in Open Collaborative Innovation Communities

$54.99
Eicosanoids in Inflammatory Conditions of the Lung, Skin and Joints

Eicosanoids in Inflammatory Conditions of the Lung, Skin and Joints

$39.99
Human Pathobiochemistry

Human Pathobiochemistry

$119.00
previous
next