Isomorphism of intersection and union types
From MaRDI portal
Publication:5268999
DOI10.1017/S0960129515000304zbMath1364.68128arXiv1307.8206MaRDI QIDQ5268999
Mariangiola Dezani-Ciancaglini, Mario Coppo, Ines Margaria, Maddalena Zacchi
Publication date: 14 June 2017
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1307.8206