Roberto Di Cosmo and Delia Kesner. Rewriting with polymorphic extensional λ-calculus. In CSL'95, volume 1092 of Lecture Notes in Computer Science, pages 215--232. Springer-Verlag, 1996. Extended abstract presented in Paderborn, September 1995.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.