@misc{indiciae1e3b55be5f6f,
  title = {A Probabilistic and Non-Deterministic Call-by-Push-Value Language},
  author = {Jean Goubault-Larrecq},
  year = {2019},
  url = {https://arxiv.org/abs/1812.11573},
  note = {Source identifier: 1812.11573}
}