Some Computational Properties of Intersection Types