Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi: Isomorphism of "Functional" Intersection Types. TYPES 2013: 129-149