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

by Yoshihiko Kakutani
Venue:IN PROC. COMPUTER SCIENCE LOGIC, SPRINGER LECTURE NOTES IN COMPUT. SCI