海约·蒂莱克 比较双筒CPS的控制结构。 （英语） Zbl 1029.03017号 高-订购符号。计算。 15，编号2-3，141-160（2002）. 摘要：我们研究了传递两个延续的按值调用延续传递样式转换。在转换\（\lambda \）抽象时改变单个变量会产生不同的控制操作符：一级延续；动态控制；和（取决于对变量的进一步选择）返回C声明；或Landin的\（\mathbf J\）-运算符。在每种情况下都有一个相关的简单键入。对于那些允许向上延续的结构，类型是经典的，而对于其他结构，它仍然是直观的，给出了独立于句法细节的清晰区分。此外，那些使CPS转换源中的类型成为经典类型的构造打破了目标中连续使用的线性。 引用于6文件 MSC公司： 03B70号 计算机科学中的逻辑 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：延续;控制操作员;\（\mathbf J\）-运算符;直觉逻辑;经典逻辑 PDF格式BibTeX公司 XML格式引用 \textit{H.Thielecke}，高-订购符号。计算。15，编号2-13141-160（2002年；Zbl 1029.03017） 全文： 内政部