Vincent Balat, Roberto Di Cosmo, and Marcelo Fiore. Remarks on isomorphisms in typed lambda calculi with empty and sum type. In LICS. IEEE, July 2002.

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