The Emptiness Problem for Intersection Types

Pawel Urzyczyn. The Emptiness Problem for Intersection Types. Journal of Symbolic Logic, 64(3):1195-1215, 1999.

Possibly Related Publications

The following publications are possibly variants of this publication: