A Description of Iterative Reflections of Monads (Extended Abstract).

Jir Admek, Stefan Milius, Jir Velebil

Browse the full FOSSACS paper archive.