Report copyright - A Logical Step Forward in Parametric Bisimulations · In essence, SPBs are “non-step”-indexed relations! We present SPBs in the setting of cc, a CBV -calculus with recursive types
Please pass captcha verification before submit form