Relating Nominal and Higher-Order Rewriting.

Jess Domnguez, Maribel Fernndez

Browse the full MFCS paper archive.