TY  - RPRT
TI  - Strong normalisation for applied lambda calculi
AU  - Ulrich Berger
PY  - 2005
DO  - 10.2168/lmcs-1(2:3)2005
UR  - https://arxiv.org/abs/cs/0507007
ID  - cs/0507007
ER  -