×

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]

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
Full Text: Link