[Prev][Next][Index][Thread]

Paper available by ftp




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