Strong Normalization of Polymorphic Calculus for Delimited Continuations

by Yukiyoshi Kameyama , Kenichi Asai