@inproceedings{amorim_kura_saville_2025,
 title = {Logical relations for call-by-push-value models, via internal fibrations in a 2-category},
 author = {Amorim, Pedro H. Azevedo de and Kura, Satoshi and Saville, Philip},
 year = {2025},
 url = {https://arxiv.org/abs/2505.14482},
 booktitle = {Symposium on Logic in Computer Science (LICS 2025)},
 eprinttype = {arXiv},
 eprint = {2505.14482}
}