The Emptiness Problem for Intersection Types

Pawel Urzyczyn

Browse the full LICS paper archive.