@misc{indiciae5277754dc25d,
  title = {Continuation-passing Style Models Complete for Intuitionistic Logic},
  author = {Danko Ilik},
  year = {2011},
  doi = {10.1016/j.apal.2012.05.003},
  url = {https://arxiv.org/abs/1102.1061},
  note = {Source identifier: 1102.1061}
}