@ARTICLE{
author={Downen Paul,Ariola Zena M,Ghilezan Silvia},
year={2019},
title={The Duality of Classical Intersection and Union Types},
journal={FUNDAMENTA INFORMATICAE},
volume={170},
number={1-3},
pages={39-92},
document_type={Article},
}