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

Document Versions

Duality between Call-by-Name Recursion and Call-by-Value Iteration –Yoshihiko Kakutani — 2001 — IN PROC. COMPUTER SCIENCE LOGIC, SPRINGER LECTURE NOTES IN COMPUT. SCI
Duality between Call-by-Name Recursion and Call-by-Value Iteration –Yoshihiko Kakutani — 2001 — In Proc. Computer Science Logic, Springer Lecture Notes in Comput. Sci