Electronic Notes in Theoretical Computer Science, Volume 69

Volume 69, 2002

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