Terminal Coalgebras for Finitary Functors.

Jir Admek, Stefan Milius, Lawrence S. Moss

Browse the full CALCO paper archive.