Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
type: Item
instance of: scholarly article
title: Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
zbMATH Open document ID: 0871.00036
published in: Lecture Notes in Computer Science
publication date: 1997-09-17T00:00:00Z
review text: 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,…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 18-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1062272
zbMATH Keywords: Santa Margherita Ligure (Italy)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: CTCS '97
zbMATH Keywords: Category theory
zbMATH Keywords: Computer science
MaRDI profile type: MaRDI publication profile
Recommended article: Category theory and computer science. Edinburgh, U.K., September 7--9, 1987. Proceedings
Recommended article: Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings
Recommended article: Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990
Recommended article: Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
Recommended article: CTCS '99. Conference on category theory and computer science, Edinburgh, GB, September 10--12, 1999
Recommended article: Proceedings of the 10th conference on category theory in computer science (CTCS 2004), Copenhagen, Denmark, August 12--14, 2004
Recommended article: CTCS'02. Proceedings of the 9th conference on category theory and computer science, Ottawa, ON, Canada, August 15--17, 2002
Recommended article: Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings
Recommended article: Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
Recommended article: Special issue: Selected papers of the international category theory conference, CT 2007, Carvoeiro, Portugal, June 2007
description: scientific article; zbMATH DE number 1062272