Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi. Isomorphism of intersection and union types. Mathematical Structures in Computer Science, 27(5):603-625, 2017. [doi]
@article{CoppoDMZ17,
title = {Isomorphism of intersection and union types},
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Ines Margaria and Maddalena Zacchi},
year = {2017},
doi = {10.1017/S0960129515000304},
url = {https://doi.org/10.1017/S0960129515000304},
researchr = {https://researchr.org/publication/CoppoDMZ17},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {27},
number = {5},
pages = {603-625},
}