Roberto Di Cosmo and Delia Kesner. Combining algebraic rewriting, extensional lambda calculi and fixpoints. Theoretical Computer Science, 169(2):201--220, 1996.

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