Continuation Models are Universal for Lambda-Mu-Calculus.

Martin Hofmann, Thomas Streicher

Browse the full LICS paper archive.