Rensets and Renaming-Based Recursion for Syntax with Bindings

Andrei Popescu

I introduce renaming-enriched sets (rensets for short), which are algebraic structures axiomatizing fundamental properties of renaming (also known as variable-for-variable substitu…