amorim_kura_saville_2025:
  type: article
  title: Logical relations for call-by-push-value models, via internal fibrations in a 2-category
  author:
  - Amorim, Pedro H. Azevedo de
  - Kura, Satoshi
  - Saville, Philip
  date: 2025
  url: https://arxiv.org/abs/2505.14482
  serial-number:
    arxiv: '2505.14482'
  parent:
    type: proceedings
    title: Symposium on Logic in Computer Science (LICS 2025)