A. J. Kfoury
J. B. Wells
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’99
Intersection type calculi of bounded dimension