@misc{indiciaee2e1c455ac6f,
  title = {Complete Call-by-Value Calculi of Control Operators, I},
  author = {Ryu Hasegawa},
  year = {2021},
  url = {https://arxiv.org/abs/1707.02056},
  note = {Source identifier: 1707.02056}
}