Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings (Q1366880)

The articles of this volume will be reviewed individually. The preceding conference (6th conf. 1995) has been reviewed (see Zbl 0847.00031). Indexed articles: \textit{Baez, John C.}, An introduction to \(n\)-categories, 1-33 [Zbl 0886.18005] \textit{Bird, Richard S.}, Allegories as a basis for algorithmics, 34-46 [Zbl 0887.68050] \textit{Jay, C. B.}, Separating shape from data, 47-48 [Zbl 0900.68174] \textit{Melliès, Paul-André}, Axiomatic rewriting theory. III: A factorisation theorem in rewriting theory, 49-68 [Zbl 0888.68075] \textit{Lüth, Christoph; Ghani, Neil}, Monads and modular term rewriting, 69-86 [Zbl 0889.68084] \textit{Corradini, A.; Gadducci, F.}, A 2-categorical presentation of term graph rewriting, 87-105 [Zbl 0889.68085] \textit{Cattani, Gian Luca; Stark, Ian; Winskel, Glynn}, Presheaf models for the \(\pi\)-calculus, 106-126 [Zbl 0884.68078] \textit{Turi, Daniele}, Categorical modelling of structural operational rules: Case studies, 127-146 [Zbl 0881.18004] \textit{Pavlović, D.; Abramsky, S.}, Specifying interaction categories, 147-158 [Zbl 0884.18008] \textit{Wolter, Uwe; Martini, Alfio}, Shedding new light in the world of logical systems, 159-176 [Zbl 0881.03043] \textit{Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław}, Combining and representing logical systems, 177-196 [Zbl 0881.03044] \textit{Andreev, A.; Soloviev, S.}, A deciding algorithm for linear isomorphism of types with complexity \(O(n\log^ 2(n))\), 197-209 [Zbl 0884.68057] \textit{Weihrauch, Klaus; Zheng, Xizhong}, Effectiveness of the global modulus of continuity on metric spaces, 210-219 [Zbl 0901.54021] \textit{Hensel, Ulrich; Jacobs, Bart}, Proof principles for datatypes with iterated recursion, 220-241 [Zbl 0887.68069] \textit{Hoogendijk, Paul; Backhouse, Roland}, When do datatypes commute?, 242-260 [Zbl 0884.68086] \textit{Lellahi, Kazem; Tannen, Val}, A calculus for collections and aggregates, 261-280 [Zbl 0884.68044] \textit{Bucalo, Anna; Rosolini, Giuseppe}, Lifting, 281-292 [Zbl 0881.18005] \textit{Reus, B.; Streicher, Th.}, General synthetic domain theory - a logical approach. (Extended abstract), 293-313 [Zbl 0881.18002]