An encoding of the lambda-calculus into the calculus of String MultiSet Rewriting
dc.contributor.author | Bagossy Attila | |
dc.date.accessioned | 2018-12-18T16:01:23Z | |
dc.date.available | 2018-12-18T16:01:23Z | |
dc.date.issued | 2018-12 | |
dc.date.updated | 2018-12-18T16:01:23Z | |
dc.identifier.issue | 9 | |
dc.identifier.uri | http://hdl.handle.net/2437/261941 | |
dc.identifier.volume | 9 | |
dc.publisher | DETEP | |
dc.rights.holder | Bagossy Attila | |
dc.title | An encoding of the lambda-calculus into the calculus of String MultiSet Rewriting |