TY  - RPRT
TI  - Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising
AU  - Yong Luo
PY  - 2005
UR  - https://arxiv.org/abs/cs/0506060
ID  - cs/0506060
ER  -