Philip Saville

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Broad Categories

Cardinal Directions

Top Venues

Proc. ACM Program. Lang.

Publications

Philip Saville
Clones, closed categories, and combinatory logic. CoRR (2024)
Hugo Paquet, Philip Saville
Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. LICS (2024)
Philip Saville
Clones, closed categories, and combinatory logic. FoSSaCS (2) (2024)
Hugo Paquet, Philip Saville
Strong pseudomonads and premonoidal bicategories. CoRR (2023)
Hugo Paquet, Philip Saville
Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories. CoRR (2023)
Ohad Kammar, Shin-ya Katsumata, Philip Saville
Fully abstract models for effectful λ-calculi via category-theoretic logical relations. Proc. ACM Program. Lang. 6 (POPL) (2022)
Marcelo Fiore, Philip Saville
Coherence for bicategorical cartesian closed structure. Math. Struct. Comput. Sci. 31 (7) (2021)
Marcelo Fiore, Philip Saville
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure. LICS (2020)
Marcelo Fiore, Philip Saville
Relative Full Completeness for Bicategorical Cartesian Closed Structure. FoSSaCS (2020)
Philip Saville
Cartesian closed bicategories: type theory and coherence. CoRR (2020)
Marcelo Fiore, Philip Saville
A type theory for cartesian closed bicategories. CoRR (2019)
Marcelo Fiore, Philip Saville
A type theory for cartesian closed bicategories (Extended Abstract). LICS (2019)
Marcelo Fiore, Philip Saville
List Objects with Algebraic Structure. FSCD (2017)