长谷川、Masahito;川谷义彦 按调用值递归的公理。 （英文） Zbl 1030.68012号 高-订购符号。计算。 15，编号2-3，235-264（2002）. 摘要：我们提出了类型化调用值编程语言中不动点操作符的公理化，并从两个方面给出了证明。首先，证明了Simpson和Plotkin的一致T不动点算子的概念是合理和完整的。其次，公理精确地解释了Filinski的不动点算子，该算子是在一级延拓存在的情况下从迭代器（无限循环构造器）导出的，前提是我们通过效应自由（中心性）的概念定义了迭代器上的一致性原则。然后，我们解释了这两个结果如何在潜在的范畴结构方面相互关联。 引用于4文件 MSC公司： 68甲15 编程语言理论 关键词：递归;迭代;呼叫值;延续;范畴语义学 PDF格式BibTeX公司 XML格式引用 \textit{M.Hasegawa}和\textit{Y.Kakutani}，高-订购符号。计算。15，编号2--3235-264（2002；Zbl 1030.68012） 全文： 内政部