Hans Hüttel
Emilio Tuosto
Hugo Torres Vieira
Gianluigi Zavattaro
Ivan Lanese
Vasco T. Vasconcelos
ACM Computing Surveys
Intersection type calculi of bounded dimension