Report copyright - Edinburgh Research Explorer · 2018-03-12 · types, Observational equivalence, Logical relations 1 Introduction The problem of determining equivalence between programs or program
Please pass captcha verification before submit form
Please pass captcha verification before submit form