TY  - RPRT
TI  - Modules over monads and operational semantics (expanded version)
AU  - André Hirschowitz
AU  - Tom Hirschowitz
AU  - Ambroise Lafont
PY  - 2022
DO  - 10.46298/lmcs-18(3:3)2022
UR  - https://arxiv.org/abs/2012.06530
ID  - 2012.06530
ER  -