Antonio Bucciarelli Silvia De Lorenzis Adolfo Piperno Ivano Salvo Some Computational Properties of Intersection Types. 109-118 1999 LICS http://computer.org/conferen/proceed/lics/0158/01580109abs.htm db/conf/lics/lics99.html#BucciarelliLPS99