From Corecursive Algebras to Corecursive Monads.

Jir Admek, Mahdieh Haddadi, Stefan Milius

Browse the full CALCO paper archive.