Some Computational Properties of Intersection Types. - Antonio Bucciarelli; Silvia De Lorenzis; Adolfo Piperno; Ivano Salvo (LICS, 1999)