Foundations of Session Types and Behavioural Contracts
ACM Computing Surveys
Ivan Lanese
Gianluigi Zavattaro
Hugo Torres Vieira
Emilio Tuosto
Hans Hüttel
Dimitris Mostrous
Intersection type calculi of bounded dimension