Roberto Di Cosmo and Sergei Soloviev, editors. Special Issue on Type Isomorphisms. Cambridge University Press, 2005. Vol. 15.

bib ] This file was generated by bibtex2html 1.99.