The emptiness problem for intersection types (1999)

by P Urzyczyn
Venue:Journal of Symbolic Logic