On Corecursive Algebras for Functors Preserving Coproducts.

Jir Admek, Stefan Milius

Browse the full CALCO paper archive.