TY  - RPRT
TI  - Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
AU  - Makoto Hamana
PY  - 2022
DO  - 10.46298/lmcs-18(2:18)2022
UR  - https://arxiv.org/abs/1912.03434
ID  - 1912.03434
ER  -