On the Call-by-Value CPS Transform and its (0)

by C Fuhrmann, H Thielecke
Venue:Semantics, I. & C