J.莱尔德。 游戏语义和线性CPS解释。 (英语) Zbl 1070.68085号 西奥。计算。科学。 333,第1-2号,199-224(2005).MSC公司:68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Laird},Theor。计算。科学。333,编号1-2199-224(2005年;兹bl 1070.68085) 全文: DOI程序
奥利维尔·丹维;Lasse R.尼尔森。 一阶单程CPS变换。 (英语) Zbl 1049.03013号 西奥。计算。科学。 308,编号1-3,239-257(2003).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{L.R.Nielsen},Theor。计算。科学。308,编号1--3,239--257(2003;Zbl 1049.03013) 全文: DOI程序