Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
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]
- Category theory and computer science. Edinburgh, U.K., September 7--9, 1987. Proceedings
- Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings
- Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990
- Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
- CTCS '99. Conference on category theory and computer science, Edinburgh, GB, September 10--12, 1999
- Proceedings of the 10th conference on category theory in computer science (CTCS 2004), Copenhagen, Denmark, August 12--14, 2004
- CTCS'02. Proceedings of the 9th conference on category theory and computer science, Ottawa, ON, Canada, August 15--17, 2002
- Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings
- Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
- Special issue: Selected papers of the international category theory conference, CT 2007, Carvoeiro, Portugal, June 2007
- Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990
- Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
- Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings
- Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007
- scientific article; zbMATH DE number 1486581 (Why is no real title available?)
- scientific article; zbMATH DE number 890007 (Why is no real title available?)
This page was built for publication: Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1366880)
