activity
20192025
most citedA type theory for cartesian closed bicategories

4 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.LO2025

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

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

We give a denotational account of logical relations for call-by-push-value (CBPV) in the fibrational style of Hermida, Jacobs, Katsumata and others. Fibrations -- which axiomatise…

math.CT2025

Bicategories of algebras for relative pseudomonads

Nathanael Arkor, Philip Saville, Andrew Slattery

We introduce pseudoalgebras for relative pseudomonads and develop their theory. For each relative pseudomonad , we construct a free--forgetful relative pseudoadjunction that exh…