A Sound and Complete Bisimulation for Contextual Equivalence in lambda -Calculus with Call/cc. - Taichi Yachi; Eijiro Sumii (APLAS, 2016)