Control categories and duality: on the categorical semantics of the lambda-mu calculus

Peter Selinger. Control categories and duality: on the categorical semantics of the lambda-mu calculus. Mathematical Structures in Computer Science, 11(2):207-260, 2001.

Abstract

Abstract is missing.