TY  - RPRT
TI  - Monads and theories
AU  - John Bourke
AU  - Richard Garner
PY  - 2020
DO  - 10.1016/j.aim.2019.05.016
UR  - https://arxiv.org/abs/1805.04346
ID  - 1805.04346
ER  -