TY  - RPRT
TI  - Monads, partial evaluations, and rewriting
AU  - Tobias Fritz
AU  - Paolo Perrone
PY  - 2020
DO  - 10.1016/j.entcs.2020.09.007
UR  - https://arxiv.org/abs/1810.06037
ID  - 1810.06037
ER  -