Foundations of Session Types and Behavioural Contracts
ACM Computing Surveys
Ivan Lanese
Hugo Torres Vieira
Emilio Tuosto
Hans Hüttel
Dimitris Mostrous
Pierre-Malo Deniélou
Intersection type calculi of bounded dimension