Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi (1994)

Cached

Download Links

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