通过平移得到强规范化结果
Strong normalization results by translation
摘要：
我们证明了强规范化的充分经典的自然演绎（即与合取，析取和置换转换），通过使用翻译成简单类型的Muda-mu-演算。我们还将Mendler关于递归方程的结果推广到这个系统。
英文摘要：
We prove the strong normalization of full classical natural deduction (i.e. with conjunction, disjunction and permutative conversions) by using a translation into the simply typed lambda-mu-calculus. We also extend Mendler's result on recursive equations to this system.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
