Intersection type calculi of bounded dimension.

Andrej Dudenhefner, Jakob Rehof

Browse the full POPL paper archive.