Toward Isomorphism of Intersection and Union types

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria +1

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised…