TY  - RPRT
TI  - Modular specification of monads through higher-order presentations
AU  - Benedikt Ahrens
AU  - André Hirschowitz
AU  - Ambroise Lafont
AU  - Marco Maggesi
PY  - 2019
DO  - 10.4230/lipics.fscd.2019.6
UR  - https://arxiv.org/abs/1903.00922
ID  - 1903.00922
ER  -