Algebras, Coalgebras, Monads and Comonads

This publication has 17 references indexed in Scilit:

• Abstract syntax and variable binding
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The generic approximation lemma
  Information Processing Letters, 2001
• A Coalgebraic View of Infinite Trees and Iteration
  Electronic Notes in Theoretical Computer Science, 2001
• An Algebra-Coalgebra Framework for System Specification
  Electronic Notes in Theoretical Computer Science, 2000
• Locally Presentable and Accessible Categories
  Published by Cambridge University Press (CUP) ,1994
• Terminal coalgebras in well-founded set theory
  Theoretical Computer Science, 1993
• Elementary observations on 2-categorical limits
  Bulletin of the Australian Mathematical Society, 1989
• Toposes, Triples and Theories
  Published by Springer Nature ,1985
• A presentation of topoi as algebraic relative to categories or graphs
  Journal of Algebra, 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