Category theory and computer science : 7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings

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 -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

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.

Presenting the proceedings of the seventh International Conference on Category Theory and Computer Science, CTCS '97, this monograph addresses a range of topics in the field, including: reasoning principles for types; rewriting; program semantics; and structuring of logical systems.