Duality between call-by-name recursion and call-by-value iteration (2002)

by Y Kakutani
Venue:In Proc. Computer Science Logic, Springer Lecture Notes in Comput. Sci