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 |
Local copy |
This file was generated by