TY  - RPRT
TI  - Toward Isomorphism of Intersection and Union types
AU  - Mario Coppo
AU  - Mariangiola Dezani-Ciancaglini
AU  - Ines Margaria
AU  - Maddalena Zacchi
PY  - 2013
DO  - 10.1017/s0960129515000304
UR  - https://arxiv.org/abs/1307.8206
ID  - 1307.8206
ER  -