Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising
<|reference_start|>Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising: In this paper, we prove the strong normalisation for Martin-L\"{o}f's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarantee the strong normalisation.<|reference_end|>
@article{luo2005yet,
    title={Yet another normalisation proof for Martin-Lof's logical
  framework--Terms with correct arities are strongly normalising},
    author={Yong Luo},
    journal={arXiv preprint arXiv:cs/0506060},
    year={2005},
    archivePrefix={arXiv},
    eprint={cs/0506060},
    primaryClass={cs.LO}
}