Some computational properties of intersection types | IEEE Conference Publication | IEEE Xplore