Electronic Notes in Theoretical Computer Science, Volume 69

Volume 69, 2002

• Richard Blute, Peter Selinger:
  Preface.
  
• Samson Abramsky, Bob Coecke:
  Physical Traces: Quantum vs. Classical Information Processing.
  
• Jirí Adámek, Stefan Milius, Jiri Velebil:
  On Rational Monads and Free Iterative Theories.
  
• Stephen L. Bloom, Zoltán Ésik:
  Unique, guarded fixed points in an additive setting: Extended Abstract.
  
• Pierre Boudes:
  Non-Uniform Hypercoherences.
  
• Matteo Coccia, Fabio Gadducci, Ugo Montanari:
  GS.Lambda Theories: A Syntax for Higher-Order Graphs.
  
• J. Robin B. Cockett, Luigi Santocanale:
  Induction, Coinduction, and Adjoints.
  
• Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas:
  Bisimulation Relations for Dynamical and Control Systems.
  
• Masahito Hasegawa:
  The Uniformity Principle on Traced Monoidal Categories.
  
• Jesse Hughes, Bart Jacobs:
  Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem.
  
• Jürgen Koslowski:
  A monadic approach to polycategories.
  
• James Laird:
  A Categorical Semantics of Higher Order Store.
  
• François Lamarche:
  Multiplicative Linear Logics and Fibrations.
  
• Paul Blain Levy:
  Adjunction Models For Call-By-Push-Value With Stacks.
  
• Maria Emilia Maietti:
  Joyal's arithmetic universes via type theory.
  
• Stefan Milius:
  On Iteratable Endofunctors.
  
• Lutz Schröder:
  Classifying categories for partial equational logic.
  
• Paul Taylor:
  Local Compactness and the Baire Category Theorem in Abstract Stone Duality.
  
• Krzysztof Worytkiewicz:
  Paths and Simulations.