Logical relations for call-by-push-value models, via internal fibrations in a 2-category. - Pedro H. Azevedo de Amorim; Satoshi Kura 003; Philip Saville (CoRR, 2025)