Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version
Crossref DOI link: https://doi.org/10.1007/s10817-023-09672-4
Published Online: 2023-07-05
Published Print: 2023-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Popescu, Andrei
Text and Data Mining valid from 2023-07-05
Version of Record valid from 2023-07-05
Article History
Received: 26 February 2023
Accepted: 31 May 2023
First Online: 5 July 2023