An encoding of the $$\lambda $$-calculus in the String MultiSet Rewriting calculus
Crossref DOI link: https://doi.org/10.1007/s00236-024-00456-w
Published Online: 2024-03-13
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bagossy, Attila
Battyányi, Péter http://orcid.org/0000-0001-6703-9661
Funding for this research was provided by:
EFOP (3.6.3-VEKOP-16-2017-00002)
Text and Data Mining valid from 2024-03-13
Version of Record valid from 2024-03-13
Article History
Received: 27 August 2021
Accepted: 17 November 2023
First Online: 13 March 2024