%0 Journal Article %A Urzyczyn, Paweł %D 1999 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 3 %P 1195-1215 %T The emptiness problem for intersection types %V 64