Blute, Rick (ed.); Selinger, Peter (ed.) CTCS’02. Proceedings of the 9th conference on category theory and computer science, Ottawa, ON, Canada, August 15–17, 2002. (English) Zbl 1267.68021 Electronic Notes in Theoretical Computer Science 69. Amsterdam: Elsevier. 359 p., electronic only (2003). Show indexed articles as search result. The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 0942.00057].Indexed articles:Abramsky, Samson; Coecke, Bob, Physical traces: quantum vs. classical information processing, 1-22 [Zbl 1270.68182]Adámek, Jiří; Milius, Stefan; Velebil, Jiří, On rational monads and free iterative theories, 23-46 [Zbl 1270.18010]Bloom, Stephen L.; Ésik, Zoltán, Unique, guarded fixed points in an additive setting: extended abstract, 47-61 [Zbl 1270.68187]Boudes, Pierre, Non-uniform hypercoherences, 62-82 [Zbl 1270.03126]Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo, GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs, 83-100 [Zbl 1270.68123]Cockett, Robin; Santocanale, Luigi, Induction, coinduction, and adjoints, 101-119 [Zbl 1270.68190]Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George, Bisimulation relations for dynamical and control systems, 120-136 [Zbl 1270.68215]Hasegawa, Masahito, The uniformity principle on traced monoidal categories, 137-155 [Zbl 1270.18019]Hughes, Jesse; Jacobs, Bart, Factorization systems and fibrations: toward a fibred Birkhoff variety theorem, 156-182 [Zbl 1270.18003]Koslowski, J., A monadic approach to polycategories, 183-208 [Zbl 1270.18018]Laird, J., A categorical semantics of higher order store, 209-226 [Zbl 1270.68068]Lamarche, François, Multiplicative linear logics and fibrations, 227-247 [Zbl 1270.03044]Levy, Paul Blain, Adjunction models for call-by-push-value with stacks, 248-271 [Zbl 1270.68155]Maietti, Maria Emilia, Joyal’s arithmetic universes via type theory, 272-286 [Zbl 1270.03144]Milius, Stefan, On iteratable endofunctors, 287-304 [Zbl 1270.18012]Schröder, Lutz, Classifying categories for partial equational logic, 305-322 [Zbl 1270.03147]Taylor, Paul, Local compactness and the Baire category theorem in abstract Stone duality, 323-345 [Zbl 1270.54017]Worytkiewicz, Krzysztof, Paths and simulations, 346-361 [Zbl 1270.68229] Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 0942.00057 PDFBibTeX XMLCite \textit{R. Blute} (ed.) and \textit{P. Selinger} (ed.), CTCS'02. Proceedings of the 9th conference on category theory and computer science, Ottawa, ON, Canada, August 15--17, 2002. Amsterdam: Elsevier (2003; Zbl 1267.68021) Full Text: Link