The emptiness problem for intersection types

From MaRDI portal
Publication:4934035

DOI10.2307/2586625zbMath0937.03022OpenAlexW2098607593MaRDI QIDQ4934035

Paweł Urzyczyn

Publication date: 17 January 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586625




Related Items (15)



Cites Work


This page was built for publication: The emptiness problem for intersection types