Report - Proof-relevant π-calculuseptcs.web.cse.unsw.edu.au/paper.cgi?LFMTP15.4.pdf · 48 Proof-relevant π-calculus 2 Synchronous π-calculus We present our formalisation in the setting

Please pass captcha verification before submit form