TY  - RPRT
TI  - On Isomorphism of "Functional" Intersection and Union Types
AU  - Mario Coppo
AU  - Mariangiola Dezani-Ciancaglini
AU  - Ines Margaria
AU  - Maddalena Zacchi
PY  - 2015
DO  - 10.4204/eptcs.177.5
UR  - https://arxiv.org/abs/1503.04910
ID  - 1503.04910
ER  -