Logical relations for call-by-push-value models, via internal fibrations in a 2-category.

Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville

Browse the full LICS paper archive.