TY  - RPRT
TI  - Continuation-passing Style Models Complete for Intuitionistic Logic
AU  - Danko Ilik
PY  - 2011
DO  - 10.1016/j.apal.2012.05.003
UR  - https://arxiv.org/abs/1102.1061
ID  - 1102.1061
ER  -