TY  - GEN

T1  - Rensets and Renaming-Based Recursion for Syntax with Bindings: Extended Version

T2  - Research Square Platform LLC

UR  - http://dx.doi.org/10.21203/rs.3.rs-2630196/v1

PY  - 2023/03/03

AU  - Popescu A

ED  - 

DO  - DOI: 10.21203/rs.3.rs-2630196/v1

Y2  - 2024/09/19

ER  -