J.J.M.M.: Generalizing the powerset construction, coalgebraically (2010)

by A Silva, F Bonchi, M M Bonsangue, Rutten
Venue:Schloss Dagstuhl – Leibniz-Zentrum für Informatik