On Isomorphism of "Functional" Intersection and Union Types

by Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Published 2015-03-01

Toward Isomorphism of Intersection and Union types

by Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Published 2013-07-01

Retractions in Intersection Types

by Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
Published 2017-02-01