Report copyright - ON REDUCTION SEMANTICS FOR THE PUSH AND PULL … · On Reduction Semantics for the Push and Pull Ambient Calculus 551 Another possible way to define equivalence is work with barbed
Please pass captcha verification before submit form
Please pass captcha verification before submit form