2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/32826In 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.19 pagesLogic in Computer ScienceYet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalisingtext