Mariangiola Dezani-Ciancaglini Roberto Di Cosmo Elio Giovannetti Makoto Tatsuta On Isomorphisms of Intersection Types. 461-477 2008 CSL http://dx.doi.org/10.1007/978-3-540-87531-4_33 conf/csl/2008 db/conf/csl/csl2008.html#Dezani-CiancagliniCGT08