Rensets and Renaming-Based Recursion for Syntax with Bindings.

Andrei Popescu

Browse the full CADE paper archive.