1. Types for dyadic interaction;Honda,1993
2. Language primitives and type discipline for structured communication-based programming;Honda,1998
3. Foundations of session types and behavioural contracts;Hüttel;ACM Comput. Surv.,2016
4. Propositions as sessions;Wadler;J. Funct. Program.,2014
5. Linear logic propositions as session types;Caires;Math. Struct. Comput. Sci.,2016