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