@misc{indiciaefe95b97f6675,
  title = {Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus},
  author = {Andreas Abel and Christian Sattler},
  year = {2019},
  url = {https://arxiv.org/abs/1902.06097},
  note = {Source identifier: 1902.06097}
}