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.

Authors

Christopher Strachey

This author has not been identified. Look up 'Christopher Strachey' in Google

Christopher P. Wadsworth

This author has not been identified. Look up 'Christopher P. Wadsworth' in Google