2025

• Saville, P., de Amorim, P. H. A., & Kura, S. (2025). Logical relations for call-by-push-value models, via internal fibrations in a 2-category. In 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (pp. pages). Singapore, Singapore: IEEE. doi:10.1109/LICS65433.2025.00061
  Conference publication. .
• Amorim, P. H. A. D., Kura, S., & Saville, P. (2025). Logical relations for call-by-push-value models, via internal fibrations in a 2-category. Retrieved from http://arxiv.org/abs/2505.14482v1
  Preprint.

2024

• Paquet, H., & Saville, P. (2024). Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. In Proceedings Symposium on Logic in Computer Science. doi:10.1145/3661814.3662130
  Conference publication. .
• Saville, P. (2024). Clones, closed categories, and combinatory logic. Retrieved from http://dx.doi.org/10.1007/978-3-031-57231-9_8
  Preprint.
• Saville, P. (2024). Clones, closed categories, and combinatory logic. In Unknown Book (Vol. 14575 LNCS, pp. 160-181). doi:10.1007/978-3-031-57231-9_8
  Chapter. .

2023

• Paquet, H., & Saville, P. (2023). Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories. Electronic Proceedings in Theoretical Computer Science Eptcs, 397, 190-209. doi:10.4204/EPTCS.397.12
  Article. .
• Paquet, H., & Saville, P. (2023). Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories. doi:10.48550/arxiv.2312.14964
  Preprint. .
• Paquet, H., & Saville, P. (2023). Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads. Retrieved from http://arxiv.org/abs/2304.11014v3
  Preprint.

2022

• Kammar, O., Katsumata, S. -Y., & Saville, P. (2022). Fully abstract models for effectful λ-calculi via category-theoretic logical relations. Proceedings of the ACM on Programming Languages, 6(POPL), 1-28. doi:10.1145/3498705
  Article. .

2021

• Fiore, M., & Saville, P. (2021). Coherence for bicategorical cartesian closed structure. Mathematical Structures in Computer Science, 31(7), 822-849. doi:10.1017/S0960129521000281
  Article. .

2020

• Fiore, M., & Saville, P. (2020). Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure. In ACM International Conference Proceeding Series (pp. 425-439). doi:10.1145/3373718.3394769
  Conference publication. .
• Saville, P. (2020). Cartesian closed bicategories: type theory and coherence. Retrieved from http://arxiv.org/abs/2007.00624v1
  Preprint.
• Fiore, M., & Saville, P. (2020). Relative Full Completeness for Bicategorical Cartesian Closed Structure. In Unknown Book (Vol. 12077 LNCS, pp. 277-298). doi:10.1007/978-3-030-45231-5_15
  Chapter. .

2019

• Fiore, M., & Saville, P. (2019). A type theory for cartesian closed bicategories (Extended Abstract). In Proceedings Symposium on Logic in Computer Science Vol. 2019-June. doi:10.1109/LICS.2019.8785708
  Conference publication. .
• Fiore, M., & Saville, P. (2019). A type theory for cartesian closed bicategories. Retrieved from http://arxiv.org/abs/1904.06538v1
  Preprint.

2017

• Fiore, M., & Saville, P. (2017). List objects with algebraic structure. In Leibniz International Proceedings in Informatics Lipics Vol. 84. doi:10.4230/LIPIcs.FSCD.2017.16
  Conference publication. .