We provide characterization of the strong termination property of the CCV (complete call-by-value) lambda-mu calculus introduced in the first part of this series of the paper. The calculus is complete with respect to the standard continuation-passing style (CPS) semantics. The union-intersection type systems for the calculus is developed in the previous paper. We characterize the strong normalizability of terms of the calculus in terms of the CPS semantics and typeability.

翻译：我们对本文第一部分中引入的CCCV(完全按价值排列的) lambda-mu 微积分的强烈终止特性进行了定性。微积分对于标准的继续通过风格(CPS) 语义学来说是完整的。微积分的联盟-交叉类型系统在前一份文件中得到了发展。我们用CPS 语义和可打字性来描述微积分的强烈正常性。