Roberto Di Cosmo. A short survey of isomorphisms of types. Mathematical Structures in Computer Science, 15:825--838, 2005.

bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.