Electronic Notes in Theoretical Computer Science, Volume 33

Volume 33, 2000

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