Report - Session Types and Linear Logic and Lightweight ...mrg.doc.ic.ac.uk/talks/ucl-mar2017/talk.pdf · Introduction A Concurrency-Theoretic Approach: Session Types Structuring Communication

Please pass captcha verification before submit form