Formalizing Languages with Binding Operators in Rewriting Logic.

Maribel Fernndez, Jos Meseguer

Browse the full PPDP paper archive.