On the semantics of the call-by-name CPS transform (0)

by G Boudol
Venue:Theoretical Computer Science