Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads

This publication has 11 references indexed in Scilit:

• A final coalgebra theorem
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Distributivity for a monad and a comonad
  Electronic Notes in Theoretical Computer Science, 1999
• From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
  Electronic Notes in Theoretical Computer Science, 1999
• Structured Transition Systems as Lax Coalgebras
  Electronic Notes in Theoretical Computer Science, 1998
• Proving Congruence of Bisimulation in Functional Programming Languages
  Information and Computation, 1996
• Initial algebra and final coalgebra semantics for concurrency
  Published by Springer Nature ,1994
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
  Bulletin of the Australian Mathematical Society, 1980
• Adjoint Lifting Theorems for Categories of Algebras
  Bulletin of the London Mathematical Society, 1975