Towards a Formal Theory of Graded Monads.

Soichiro Fujii, Shin-ya Katsumata, Paul-Andr Mellis

Browse the full FOSSACS paper archive.