Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, and Makoto Tatsuta. On isomorphisms of intersection types. ACM Transactions on Computational Logic, 11(4):1--24, 2010.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.