Report copyright - Implementing Term Rewriting by Jungle Evaluation€¦ · term rewriting. The computation of term normal forms by jungle evaluation is the subject of section 6. In section 7, it is
Please pass captcha verification before submit form
Please pass captcha verification before submit form