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.
Author(s): John C. Baez (auth.), Eugenio Moggi, Giuseppe Rosolini (eds.)
Series: Lecture Notes in Computer Science 1290
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 319
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; K-Theory; Mathematical Logic and Foundations
An introduction to n -categories....Pages 1-33
Allegories as a basis for algorithmics....Pages 34-46
Separating shape from data....Pages 47-48
A factorisation theorem in rewriting theory....Pages 49-68
Monads and modular term rewriting....Pages 69-86
A 2-categorical presentation of term graph rewriting....Pages 87-105
Presheaf models for the π -calculus....Pages 106-126
Categorical modelling of structural operational rules case studies....Pages 127-146
Specifying interaction categories....Pages 147-158
Shedding new light in the world of logical systems....Pages 159-176
Combining and representing logical systems....Pages 177-196
A deciding algorithm for linear isomorphism of types with complexity O ( nlog 2 ( n )).....Pages 197-209
Effectiveness of the global modulus of continuity on metric spaces....Pages 210-219
Proof principles for datatypes with iterated recursion....Pages 220-241
When Do Datatypes Commute?....Pages 242-260
A calculus for collections and aggregates....Pages 261-280
Lifting....Pages 281-292
General synthetic domain theory — A logical approach (extended abstract)....Pages 293-313
