Roberto Di Cosmo. Isomorfismi di tipi. Master's thesis, Università di Pisa, 1986.

bib ] This file was generated by bibtex2html 1.99.