Combining first order algebraic rewriting systems, recursion and extensional lambda calculi (1994)

by Roberto Di Cosmo, Delia Kesner
Venue:Intern. Conf. on Automata, Languages and Programming (ICALP), volume 820 of Lecture Notes in Computer Science