Philip Saville

15 papers A* 4B 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Logical relations for call-by-push-value models, via internal fibrations in a 2-category.
LICS
Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville
2025 J jnl
Logical relations for call-by-push-value models, via internal fibrations in a 2-category.
CoRR
Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville
2024 — conf
Clones, closed categories, and combinatory logic.
FoSSaCS (2)
Philip Saville
2024 J jnl
Clones, closed categories, and combinatory logic.
CoRR
Philip Saville
2024 A* conf
Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads.
LICS
Hugo Paquet, Philip Saville
2023 — conf
Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories.
ACT
Hugo Paquet, Philip Saville
2023 J jnl
Strong pseudomonads and premonoidal bicategories.
CoRR
Hugo Paquet, Philip Saville
2022 J jnl
Fully abstract models for effectful λ-calculi via category-theoretic logical relations.
Proc. ACM Program. Lang.
Ohad Kammar, Shin-ya Katsumata, Philip Saville
2021 J jnl
Coherence for bicategorical cartesian closed structure.
Math. Struct. Comput. Sci.
Marcelo Fiore, Philip Saville
2020 J jnl
Cartesian closed bicategories: type theory and coherence.
CoRR
Philip Saville
2020 A* conf
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure.
LICS
Marcelo Fiore, Philip Saville
2020 B conf
Relative Full Completeness for Bicategorical Cartesian Closed Structure.
FoSSaCS
Marcelo Fiore, Philip Saville
2019 A* conf
A type theory for cartesian closed bicategories (Extended Abstract).
LICS
Marcelo Fiore, Philip Saville
2019 J jnl
A type theory for cartesian closed bicategories.
CoRR
Marcelo Fiore, Philip Saville
2017 B conf
List Objects with Algebraic Structure.
FSCD
Marcelo Fiore, Philip Saville