Duality between Call-by-Name Recursion and Call-by-Value Iteration
Duality between Call-by-Name Recursion and Call-by-Value Iteration
复制标题
按名称调用递归和按值调用迭代之间的对偶性
DOI：
10.1007/3-540-45793-3_34
复制
发表时间：
2002
影响因子：
--
通讯作者：
Yoshihiko Kakutani
中科院分区：
文献类型：
--
作者：
Yoshihiko Kakutani
我们调查的对偶调用的名称递归和调用的值迭代？微结石及其模型。在语义上，我们认为迭代是递归的对偶概念。在语法上，我们扩展了按名称调用？µ-演算和按值调用演算分别使用定点运算符和迭代运算符。本文表明，双重翻译之间的调用byname？µ-演算和Selinger构造的按值调用演算，可以扩展到我们的扩展？微结石本研究的另一个结果提供了这些运营商的一致性原则。
We investigate the duality between call-by-name recursion and call-by-value iteration in the ?µ-calculi and their models. Semantically, we consider that iteration is the dual notion of recursion. Syntactically, we extend the call-by-name ?µ-calculus and the call-by-value one with a fixed-point operator and an iteration operator, respectively. This paper shows that the dual translations between the call-byname ?µ-calculus and the call-by-value one, which is constructed by Selinger, can be expanded to our extended ?µ-calculi. Another result of this study provides uniformity principles for those operators.