Daniel Leivant
Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL ’83
Intersection type calculi of bounded dimension