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

Smart Monitoring of Rotating Machinery for Industry 4.0

Smart Monitoring of Rotating Machinery for Industry 4.0

$129.00
Mustererkennung 1986

Mustererkennung 1986

$69.99
Synthesis of Functionalized Organoboron Compounds Through Copper(I) Catalysis

Synthesis of Functionalized Organoboron Compounds Through Copper(I) Catalysis

$84.99
Tourist Behaviour and the New Normal, Volume I

Tourist Behaviour and the New Normal, Volume I

$169.99
Lineare Algebra fr die Natur- und Ingenieurwissenschaften

Lineare Algebra fr die Natur- und Ingenieurwissenschaften

$37.99
Die Eingriffe in der Bauchhhle

Die Eingriffe in der Bauchhhle

$44.99
Unifying Theories of Programming

Unifying Theories of Programming

$54.99
Myb Transcription Factors: Their Role in Growth, Differentiation and Disease

Myb Transcription Factors: Their Role in Growth, Differentiation and Disease

$219.99
Climate Resilient Innovative Livelihoods in Indian Sundarban Delta

Climate Resilient Innovative Livelihoods in Indian Sundarban Delta

$99.00
Farm Machinery and Processes Management in Sustainable Agriculture

Farm Machinery and Processes Management in Sustainable Agriculture

$249.99
Fortschritte in Psychiatrie und Psychotherapie

Fortschritte in Psychiatrie und Psychotherapie

$59.99
Die Hypochromanmien

Die Hypochromanmien

$59.99
White Gold: The Commercialisation of Rice Farming in the Lower Mekong Basin

White Gold: The Commercialisation of Rice Farming in the Lower Mekong Basin

$31.00
Prozerechensysteme 88

Prozerechensysteme 88

$59.99
Financial Decision Aid Using Multiple Criteria

Financial Decision Aid Using Multiple Criteria

$84.99
Protention in Husserls Phenomenology

Protention in Husserls Phenomenology

$89.00
Proceedings of the 1st International Conference on Water Energy Food and Sustainability (ICoWEFS 202

Proceedings of the 1st International Conference on Water Energy Food and Sustainability (ICoWEFS 202

$129.00
Host-Guest Chemistry

Host-Guest Chemistry

$259.00
Impact of TRIPS in India

Impact of TRIPS in India

$54.99
nderungen im Enzymmuster whrend der Samenkeimung und frhen Entwicklung des Keimlings von Hordeum

nderungen im Enzymmuster whrend der Samenkeimung und frhen Entwicklung des Keimlings von Hordeum

$54.99
Atlas of Diagnostically Challenging Melanocytic Neoplasms

Atlas of Diagnostically Challenging Melanocytic Neoplasms

$199.99
Dynamics and Thermodynamics with Nuclear Degrees of Freedom

Dynamics and Thermodynamics with Nuclear Degrees of Freedom

$129.00
International Conference on Innovative Computing and Communications

International Conference on Innovative Computing and Communications

$189.00
Von der Parteiendemokratie zur Mediendemokratie

Von der Parteiendemokratie zur Mediendemokratie

$59.99
At the Intersection of Selves and Subject

At the Intersection of Selves and Subject

$39.99
Gabler Kompakt Lexikon Umwelt- undWirtschaftspolitik

Gabler Kompakt Lexikon Umwelt- undWirtschaftspolitik

$59.99
Antipodal Vivaldi Antennas for Microwave Imaging of Construction Materials and Structures

Antipodal Vivaldi Antennas for Microwave Imaging of Construction Materials and Structures

$84.99
User Experience Identity

User Experience Identity

$64.99
Rockfishes of the genus Sebastes

Rockfishes of the genus Sebastes

$169.00
Molecular Diversity and PCR-detection of Toxigenic Fusarium Species and Ochratoxigenic Fungi

Molecular Diversity and PCR-detection of Toxigenic Fusarium Species and Ochratoxigenic Fungi

$109.99
Physik griffbereit

Physik griffbereit

$49.99
Signs in MR-Mammography

Signs in MR-Mammography

$84.99
Computational Acoustics of Noise Propagation in Fluids - Finite and Boundary Element Methods

Computational Acoustics of Noise Propagation in Fluids - Finite and Boundary Element Methods

$129.00
Cis-trns Isomeric Carotenoids Vitamins A and Arylpolyenes

Cis-trns Isomeric Carotenoids Vitamins A and Arylpolyenes

$39.99
Dragon Prince: Book Two: Sky

Dragon Prince: Book Two: Sky

$8.24
Leading Cases in Sports Law

Leading Cases in Sports Law

$169.99
Die Zukunft der Altenpflege

Die Zukunft der Altenpflege

$49.99
Conjugated Polymers

Conjugated Polymers

$219.99
Operative Dictations in Ophthalmology

Operative Dictations in Ophthalmology

$109.00
Socio-cultural Dimensions of Emerging Infectious Diseases in Africa

Socio-cultural Dimensions of Emerging Infectious Diseases in Africa

$139.99
previous
next