+612 9045 4394
 
CHECKOUT
Category Theory and Computer Science : 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings - Eugenio Moggi

Category Theory and Computer Science

7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

By: Eugenio Moggi (Editor), Giuseppe Rosolini (Editor)

Paperback Published: 20th August 1997
ISBN: 9783540634553
Number Of Pages: 319

Share This Book:

Paperback

$135.50
or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

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.

An Introduction to n-Categoriesp. 1
Allegories as a Basis for Algorithmicsp. 34
Separating Shape from Datap. 47
A Factorisation Theorem in Rewriting Theoryp. 49
Monads and Modular Term Rewritingp. 69
A 2-Categorical Presentation of Term Graph Rewritingp. 87
Presheaf Models for the [pi]-Calculusp. 106
Categorical Modelling of Stuctural Operational Rules: Case Studiesp. 127
Specifying Interaction Categoriesp. 147
Shedding New Light in the World of Logical Systemsp. 159
Combining and Representing Logical Systemsp. 177
A Deciding Algorithm for Linear Isomorphism of Types with Complexity O(n log[superscript 2](n))p. 197
Effectiveness of the Global Modulus of Continuity on Metric Spacesp. 210
Proof Principles for Datatypes with Iterated Recursionp. 220
When Do Datatypes Commute?p. 242
A Calculus for Collections and Aggregatesp. 261
Liftingp. 281
General Synthetic Domain Theory - A Logical Approachp. 293
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540634553
ISBN-10: 354063455X
Series: Lecture Notes in Computer Science, : Book Vol. 129
Audience: General
Format: Paperback
Language: English
Number Of Pages: 319
Published: 20th August 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.75
Weight (kg): 0.46