Report copyright - Operationally-Based Theories of Program Equivalenceamp12/papers/opebtp/opebtp.pdf · Operationally-Based Theories of Program Equivalence 243 His lecture notes (1995b) provide a somewhat
Please pass captcha verification before submit form