Roberto Di Cosmo and Delia Kesner. Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. In Serge Abiteboul and Eli Shamir, editors, Intern. Conf. on Automata, Languages and Programming (ICALP), volume 820 of Lecture Notes in Computer Science, pages 462--472. Springer-Verlag, July 1994.
[ bib | DOI | Local copy | Url ] This file was generated by bibtex2html 1.99.