TY  - RPRT
TI  - Characterisation of Strongly Normalising lambda-mu-Terms
AU  - Steffen van Bakel
AU  - Franco Barbanera
AU  - Ugo de'Liguoro
PY  - 2013
DO  - 10.4204/eptcs.121.1
UR  - https://arxiv.org/abs/1307.8202
ID  - 1307.8202
ER  -