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

Cached

Download Links

by Yoshihiko Kakutani
Venue:IN PROC. COMPUTER SCIENCE LOGIC, SPRINGER LECTURE NOTES IN COMPUT. SCI
Citations:9 - 4 self