From Corecursive Algebras to Corecursive Monads

DOI10.1007/978-3-642-22944-2_5zbMath1266.18010arXiv1407.4425OpenAlexW2158210360MaRDI QIDQ3090860

Stefan Milius, M. Haddadi, Jiří Adámek

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.4425

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20)

This page was built for publication: From Corecursive Algebras to Corecursive Monads