TY  - RPRT
TI  - Delimited control operators prove Double-negation Shift
AU  - Danko Ilik
PY  - 2011
DO  - 10.1016/j.apal.2011.12.008
UR  - https://arxiv.org/abs/1012.0929
ID  - 1012.0929
ER  -