Bagossy, AttilaBattyányi, Péter2024-03-222024-03-222024Acta Informatica. -61 : 2 (2024), p. 161-181. -Acta Inform. - 0001-59030001-5903https://hdl.handle.net/2437/367769An encoding of the [lambda]-calculus in the String MultiSet Rewriting calculusfolyóiratcikkopen access articlehttps://ebib.lib.unideb.hu/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM119697TermészettudományokMatematika- és számítástudományokhttps://link.springer.com/10.1007/s00236-024-00456-wszerzőkhttp://dx.doi.org/10.1007/s00236-024-00456-w2024-03-2200118127940000185187517803