Kim Bruce, Roberto Di Cosmo, and Giuseppe Longo. Provable isomorphisms of types. Mathematical Structures in Computer Science, 2(2):231--247, 1992.

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