Birov, Dimitar. 1996. “Intersection Types and Overloading”. Ann. Sofia Univ. Fac. Math. And Inf. 88 (December):221-38. https://annual.uni-sofia.bg/index.php/fmi/article/view/382.