Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi.

Roberto Di Cosmo, Delia Kesner

Browse the full ICALP paper archive.