On Isomorphisms of Intersection Types.

Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta

Browse the full CSL paper archive.