Electronic Notes in Theoretical Computer Science, Volume 33

Volume 33, 2000

• Horst Reichel:
  Preface.
  Electronic Edition (link) BibTeX
• Ola Angelsmark:
  Constraints, Adjunctions and (Co)algebras.
  Electronic Edition (link) BibTeX
• Michael Baldamus:
  Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus.
  Electronic Edition (link) BibTeX
• Alexandru Baltag:
  A Logic for Coalgebraic Simulation.
  Electronic Edition (link) BibTeX
• Samuel R. Buss, Grigore Rosu:
  Incompleteness of Behavioral Logics.
  Electronic Edition (link) BibTeX
• Corina Cîrstea:
  An Algebra-Coalgebra Framework for System Specification.
  Electronic Edition (link) BibTeX
• H. Peter Gumm, Tobias Schröder:
  Coalgebraic structure from weak limit preserving functors.
  Electronic Edition (link) BibTeX
• Furio Honsell, Marina Lenisa:
  Coalgebraic Coinduction in (Hyper)set-theoretic Categories.
  Electronic Edition (link) BibTeX
• Bart Jacobs:
  Towards a Duality Result in Coalgebraic Modal Logic.
  Electronic Edition (link) BibTeX
• Alexander Kurz, Dirk Pattinson:
  Notes on Coalgebras, Cofibrations and Concurrency.
  Electronic Edition (link) BibTeX
• Marina Lenisa, John Power, Hiroshi Watanabe:
  Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads.
  Electronic Edition (link) BibTeX
• Luís Monteiro:
  Observation systems.
  Electronic Edition (link) BibTeX
• Erik Poll:
  A Coalgebraic Semantics of Subtyping.
  Electronic Edition (link) BibTeX
• Martin Rößiger:
  Coalgebras and Modal Logic.
  Electronic Edition (link) BibTeX
• Hendrik Tews:
  Coalgebras for Binary Methods.
  Electronic Edition (link) BibTeX
• Uwe Wolter:
  On Corelations, Cokernels, and Coequations.
  Electronic Edition (link) BibTeX
• James Worrell:
  Coinduction for recursive data types: partial orders, metric spaces and Omega-categories.
  Electronic Edition (link) BibTeX