Philip Saville

According to our database, Philip Saville authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads.

Hugo Paquet, Philip Saville

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Clones, closed categories, and combinatory logic.

Philip Saville

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories.

Hugo Paquet, Philip Saville

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Strong pseudomonads and premonoidal bicategories.

Hugo Paquet, Philip Saville

CoRR, 2023

2022

Fully abstract models for effectful λ-calculi via category-theoretic logical relations.

Ohad Kammar, Shin-ya Katsumata, Philip Saville

Proc. ACM Program. Lang., 2022

2021

Coherence for bicategorical cartesian closed structure.

Marcelo Fiore, Philip Saville

Math. Struct. Comput. Sci., 2021

2020

Cartesian closed bicategories: type theory and coherence.

Philip Saville

CoRR, 2020

Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure.

Marcelo Fiore, Philip Saville

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Relative Full Completeness for Bicategorical Cartesian Closed Structure.

Marcelo Fiore, Philip Saville

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

A type theory for cartesian closed bicategories.

Marcelo Fiore, Philip Saville

CoRR, 2019

A type theory for cartesian closed bicategories (Extended Abstract).

Marcelo Fiore, Philip Saville

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2017

List Objects with Algebraic Structure.

Marcelo Fiore, Philip Saville

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017