Monadic Power Set Theories in Kleisli Categories.

Jir Mockor

Browse the full EUSFLAT paper archive.