A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc.

Taichi Yachi, Eijiro Sumii

Browse the full APLAS paper archive.