%0 Journal Article %1 journals/corr/abs-1906-09709 %A Siek, Jeremy G. %D 2019 %J CoRR %K dblp %T Transitivity of Subtyping for Intersection Types. %U http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-09709 %V abs/1906.09709

@article{journals/corr/abs-1906-09709, added-at = {2019-06-27T00:00:00.000+0200}, author = {Siek, Jeremy G.}, biburl = {https://www.bibsonomy.org/bibtex/244b7fb9a525294cab1579ba8c8349404/dblp}, ee = {http://arxiv.org/abs/1906.09709}, interhash = {eab8253f29f7f25e4ac46815c6ee4a3a}, intrahash = {44b7fb9a525294cab1579ba8c8349404}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-06-28T11:37:10.000+0200}, title = {Transitivity of Subtyping for Intersection Types.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-09709}, volume = {abs/1906.09709}, year = 2019 }