Birov, D. Intersection Types and Overloading. Ann. Sofia Univ. Fac. Math. and Inf. 1996, 88, 221-238.