On Isomorphisms of Intersection Types. - Dezani-Ciancaglini, Mariangiola; Di Cosmo, Roberto; Giovannetti, Elio; Tatsuta, Makoto (ACM Transactions on Computational Logic, 2010)