1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Yong Luo
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 guarant…