@misc{indiciae628bc4b5ce34,
  title = {Logical relations for call-by-push-value models, via internal fibrations in a 2-category},
  author = {Pedro H. Azevedo de Amorim and Satoshi Kura and Philip Saville},
  year = {2025},
  url = {https://arxiv.org/abs/2505.14482},
  note = {Source identifier: 2505.14482}
}