%0 Conference Paper %1 journals/corr/CoppoDMZ13 %A Coppo, Mario %A Dezani-Ciancaglini, Mariangiola %A Margaria, Ines %A Zacchi, Maddalena %B ITRS %D 2012 %E Graham-Lengrand, Stéphane %E Paolini, Luca %K dblp %P 58-80 %T Toward Isomorphism of Intersection and Union types. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs121.html#CoppoDMZ13 %V 121

@inproceedings{journals/corr/CoppoDMZ13, added-at = {2021-10-14T00:00:00.000+0200}, author = {Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Margaria, Ines and Zacchi, Maddalena}, biburl = {https://www.bibsonomy.org/bibtex/20e3b86215ed5338c5e5844eda441b2e9/dblp}, booktitle = {ITRS}, crossref = {journals/corr/Graham-LengrandP13}, editor = {Graham-Lengrand, Stéphane and Paolini, Luca}, ee = {http://arxiv.org/abs/1307.8206}, interhash = {be58ea505ea0f3dce75d213ff299f46b}, intrahash = {0e3b86215ed5338c5e5844eda441b2e9}, keywords = {dblp}, pages = {58-80}, series = {EPTCS}, timestamp = {2024-04-10T12:29:33.000+0200}, title = {Toward Isomorphism of Intersection and Union types.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs121.html#CoppoDMZ13}, volume = 121, year = 2012 }