Bagossy Attila2018-12-182018-12-182018-12http://hdl.handle.net/2437/261941An encoding of the lambda-calculus into the calculus of String MultiSet Rewriting99Bagossy Attila2018-12-18