分隔控制操作符shift0已被正式展示用于捕获用于代数效果的深度处理程序的操作语义。它的CPS转换生成λ项，其中延续组合不像其他分隔控制操作符(例如shift)那样，以嵌套函数调用的形式表示，而是函数应用程序一次一个地使用延续序列，就好像它们形成了一个堆栈一样。我们提出了一种新的Moggi计算λ-微积分的约简理论，该理论扩展了shift0和控制分隔符dollar，该理论以细粒度的方式将计算上下文的捕获建模为let表达式和分隔符之间的相互作用。我们建立了我们的还原理论与现有的shif0和dollar理论之间的联系。此外，我们为我们的微积分开发了一个CPS翻译和一个直接风格的翻译，它们共同形成了一个反射，即翻译保留了约简，而直接风格的翻译是CPS翻译的正逆。这种结构依赖于CPS根项是η-头-正规形式的不变式。这项工作的结果可能会用于编译器优化，并导致代数效果的类似发展。