%0 Conference Paper %1 conf/lics/Urzyczyn94 %A Urzyczyn, Pawel %B LICS %D 1994 %I IEEE Computer Society %K dblp %P 300-309 %T The Emptiness Problem for Intersection Types %U http://dblp.uni-trier.de/db/conf/lics/lics94.html#Urzyczyn94 %@ 0-8186-6310-3

@inproceedings{conf/lics/Urzyczyn94, added-at = {2023-03-24T00:00:00.000+0100}, author = {Urzyczyn, Pawel}, biburl = {https://www.bibsonomy.org/bibtex/219248acc96af39c70613a14d36af487d/dblp}, booktitle = {LICS}, crossref = {conf/lics/1994}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1994.316059}, interhash = {7cc020b84d9436320974876fc8597565}, intrahash = {19248acc96af39c70613a14d36af487d}, isbn = {0-8186-6310-3}, keywords = {dblp}, pages = {300-309}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:13.000+0200}, title = {The Emptiness Problem for Intersection Types}, url = {http://dblp.uni-trier.de/db/conf/lics/lics94.html#Urzyczyn94}, year = 1994 }