On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls).

Jir Admek, Stefan Milius, Lawrence S. Moss

Browse the full CALCO paper archive.