Vincent Balat and Roberto Di Cosmo. A linear logical view of linear type isomorphisms. In Computer Science Logic, volume 1683 of Lecture Notes in Computer Science, pages 250--265. Springer-Verlag, 1999.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.