@misc{misc, title = {{Rensets and Renaming-Based Recursion for Syntax with Bindings: Extended Version}}, url = {{http://dx.doi.org/10.21203/rs.3.rs-2630196/v1 }}, year = {{2023}}, month = {{3}}, author = {{Popescu A}}, doi = {{10.21203/rs.3.rs-2630196/v1}}, note = {{Accessed on 2024/12/26}}}