Philip Saville
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Logical relations for call-by-push-value models, via internal fibrations in a 2-category. | Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville |
| 2024 | FOSSACS | Clones, closed categories, and combinatory logic. | Philip Saville |
| 2024 | LICS | Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. | Hugo Paquet, Philip Saville |
| 2020 | FOSSACS | Relative Full Completeness for Bicategorical Cartesian Closed Structure. | Marcelo Fiore, Philip Saville |
| 2020 | LICS | Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure. | Marcelo Fiore, Philip Saville |
| 2019 | LICS | A type theory for cartesian closed bicategories (Extended Abstract). | Marcelo Fiore, Philip Saville |