Towards a Formal Theory of Graded Monads

@inproceedings{Fujii2016TowardsAF,
  title={Towards a Formal Theory of Graded Monads},
  author={Soichiro Fujii and Shin-ya Katsumata and Paul-Andr{\'e} Melli{\`e}s},
  booktitle={FoSSaCS},
  year={2016}
}