Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising

Simple item page
dc.creatorLuo, Yong
dc.date2005-06-14
dc.date2005-06-15
dc.date.accessioned2026-07-07T03:23:08Z
dc.date.available2026-07-07T03:23:08Z
dc.descriptionIn 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.
dc.description19 pages
dc.identifierhttps://arxiv.org/abs/cs/0506060
dc.identifierhttp://arxiv.org/abs/cs/0506060
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32826
dc.subjectLogic in Computer Science
dc.titleYet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising
dc.typetext

Files

Collections

arXiv