TY  - RPRT
TI  - Semantic A-translation and Super-consistency entail Classical Cut Elimination
AU  - Lisa Allali
AU  - Olivier Hermant
PY  - 2014
UR  - https://arxiv.org/abs/1401.0998
ID  - 1401.0998
ER  -