TY  - RPRT
TI  - Complete Call-by-Value Calculi of Control Operators II: Strong Termination
AU  - Ryu Hasegawa
PY  - 2021
DO  - 10.23638/lmcs-17(1:18)2021
UR  - https://arxiv.org/abs/1707.02034
ID  - 1707.02034
ER  -