Birov, D. 1996. Intersection types and overloading. Ann. Sofia Univ. Fac. Math. and Inf. 88, (Dec. 1996), 221–238.