## Duality between Call-by-Name Recursion and Call-by-Value Iteration (2001)

Venue: | IN PROC. COMPUTER SCIENCE LOGIC, SPRINGER LECTURE NOTES IN COMPUT. SCI |

Citations: | 9 - 4 self |

### BibTeX

@INPROCEEDINGS{Kakutani01dualitybetween,

author = {Yoshihiko Kakutani},

title = {Duality between Call-by-Name Recursion and Call-by-Value Iteration},

booktitle = {IN PROC. COMPUTER SCIENCE LOGIC, SPRINGER LECTURE NOTES IN COMPUT. SCI},

year = {2001},

pages = {506--521},

publisher = {SpringerVerlag}

}

### OpenURL

### Abstract

We investigate the duality between call-by-name recursion and call-by-value iteration on the λµ-calculi. The duality between call-by-name and call-by-value was first studied by Filinski, and Selinger has studied the category-theoretic duality on the models of the call-by-name λµ-calculus and the call-by-value one. We extend the call-by-name λµ-calculus and the call-by-value one with a fixed-point operator and an iteration operator, respectively. We show that the dual translations constructed by Selinger can be expanded into our extended λµ-calculi, and we also discuss their implications to practical applications.