Invariants of monadic coalgebras
From MaRDI portal
Publication:4917042
DOI10.1016/S1571-0661(04)80912-5zbMath1260.68244MaRDI QIDQ4917042
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Abstract data types; algebraic specification (68Q65) Operations and polynomials in algebraic structures, primal algebras (08A40) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Cites Work
This page was built for publication: Invariants of monadic coalgebras