Space-pro semantics of the call-by-value lambda calculus and the CPS transformation (1999)

by Y Minamide
Venue:In Third International Workshop on Higher-Order Operational Techniques in Semantics