Martin-Lof逻辑框架的另一个规范化证明--具有正确的arity的项是强规范化的
Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising
摘要：
在本文中，我们证明了马丁-洛夫的逻辑框架的强规范化，并建议{}“正确的arity”，一个条件弱于良好的类型，也将保证强规范化。
英文摘要：
In this paper, we prove the strong normalisation for Martin-Löf's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarantee the strong normalisation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
