Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising
Logic in Computer Science
2007-05-23 v2
Abstract
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.
Keywords
Cite
@article{arxiv.cs/0506060,
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 = {2007}
}
Comments
19 pages