The following draft paper is available by anonymous ftp:
``The emptiness problem for intersection types''
Pawel Urzyczyn
Institute of Informatics, Warsaw University
Abstract: We prove that it is undecidable whether a given intersection type
is non-empty, i.e., whether there exists a closed term of this type.
Internet address:
148.81.12.1
Directory:
/pub/users/urzy
Compressed files:
inhabit.ps.Z
inhabit.dvi.Z