Pedro H. Azevedo de Amorim, Satoshi Kura 0003, Philip Saville. Logical relations for call-by-push-value models, via internal fibrations in a 2-category. In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025. pages 732-747, IEEE, 2025. [doi]
Abstract is missing.