Volume 69, 2002
- Stephen L. Bloom, Zoltán Ésik: Unique, guarded fixed points in an additive setting: Extended Abstract. 47-61
- Pierre Boudes: Non-Uniform Hypercoherences. 62-82
- Matteo Coccia, Fabio Gadducci, Ugo Montanari: GS.Lambda Theories: A Syntax for Higher-Order Graphs. 83-100
- Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation Relations for Dynamical and Control Systems. 120-136
- Masahito Hasegawa: The Uniformity Principle on Traced Monoidal Categories. 137-155
- Jesse Hughes, Bart Jacobs: Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. 156-182
- Jürgen Koslowski: A monadic approach to polycategories. 183-208
- James Laird: A Categorical Semantics of Higher Order Store. 209-226
- François Lamarche: Multiplicative Linear Logics and Fibrations. 227-247
- Paul Blain Levy: Adjunction Models For Call-By-Push-Value With Stacks. 248-271
- Maria Emilia Maietti: Joyal's arithmetic universes via type theory. 272-286
- Stefan Milius: On Iteratable Endofunctors. 287-304
- Lutz Schröder: Classifying categories for partial equational logic. 305-322
- Paul Taylor: Local Compactness and the Baire Category Theorem in Abstract Stone Duality. 323-345
- Krzysztof Worytkiewicz: Paths and Simulations. 346-361
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team