An encoding of the λ-calculus in the String MultiSet Rewriting calculus

Attila Bagossy, Péter Battyányi. An encoding of the λ-calculus in the String MultiSet Rewriting calculus. Acta Informatica, 61(2):161-181, June 2024. [doi]

Abstract

Abstract is missing.