TY  - RPRT
TI  - Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
AU  - Peter Battyanyi
AU  - Karim Nour
PY  - 2017
DO  - 10.23638/lmcs-13(3:34)2017
UR  - https://arxiv.org/abs/1706.07246
ID  - 1706.07246
ER  -