Continuations: A Mathematical Semantics for Handling Full (2000)

by C Strachey, C P Wadsworth
Venue:Jumps, Higher-Order and Symbolic Computation