Continuations: A Mathematical Semantics for Handling Full Jumps

Christopher Strachey, Christopher P. Wadsworth. Continuations: A Mathematical Semantics for Handling Full Jumps. Higher-Order and Symbolic Computation, 13(1/2):135-152, 2000.

Abstract

Abstract is missing.