Christopher Strachey, Christopher P. Wadsworth. Continuations: A Mathematical Semantics for Handling Full Jumps. Higher-Order and Symbolic Computation, 13(1/2):135-152, 2000.
@article{StracheyW00,
title = {Continuations: A Mathematical Semantics for Handling Full Jumps},
author = {Christopher Strachey and Christopher P. Wadsworth},
year = {2000},
tags = {semantics},
researchr = {https://researchr.org/publication/StracheyW00},
cites = {0},
citedby = {0},
journal = {Higher-Order and Symbolic Computation},
volume = {13},
number = {1/2},
pages = {135-152},
}