Personal information

Emails & domains

Verified email domains

Websites & social links

personal webpage
departmental page

Other IDs

Scopus Author ID: 57195960505

Activities

Collapse all

Employment (3)

University of Sussex: Brighton, GB

2024-09-02 to present | Assistant Professor of Computer Science (Department of Informatics )
Employment
Source: Self-asserted source
Philip Saville

University of Oxford: Oxford, GB

2021-02-01 to 2024-09-01
Employment
Source: Self-asserted source
Philip Saville

University of Edinburgh: Edinburgh, GB

2018-06-01 to 2021-01-31 (School of Informatics)
Employment
Source: Self-asserted source
Philip Saville

Works (11)

Clones, closed categories, and combinatory logic

2024 | Book chapter
DOI: 10.1007/978-3-031-57231-9_8
Contributors: Philip Saville
Source: check_circle
Crossref

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

2024-07-08 | Conference paper
DOI: 10.1145/3661814.3662130
Contributors: Hugo Paquet; Philip Saville
Source: check_circle
Crossref

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

Proceedings of the ACM on Programming Languages
2022-01-16 | Journal article
DOI: 10.1145/3498705
Contributors: Ohad Kammar; Shin-ya Katsumata; Philip Saville
Source: check_circle
Crossref

Coherence for bicategorical cartesian closed structure

Mathematical Structures in Computer Science
2021-08 | Journal article
DOI: 10.1017/S0960129521000281
Contributors: Marcelo Fiore; Philip Saville
Source: check_circle
Crossref

Relative Full Completeness for Bicategorical Cartesian Closed Structure

2020 | Book chapter
DOI: 10.1007/978-3-030-45231-5_15
Contributors: Marcelo Fiore; Philip Saville
Source: check_circle
Crossref

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

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
2020-07-08 | Conference paper
DOI: 10.1145/3373718.3394769
ISBN: 9781450371049
Source: Self-asserted source
Philip Saville

Cartesian closed bicategories: type theory and coherence

2020-07-01 | Dissertation or Thesis
ARXIV: arXiv:2007.00624v1
Source: Self-asserted source
Philip Saville

A type theory for cartesian closed bicategories

Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2019 | Conference paper
Source: Self-asserted source
Philip Saville

A type theory for cartesian closed bicategories

Category Theory 2019, Edinburgh, United Kingdom, 7/07/19
2019-07-09 | Conference abstract | Author
SOURCE-WORK-ID:

17a7cb9d-b614-47b2-8338-39d007cd1f0b

EID:

2-s2.0-85070756407
Contributors: Philip Saville; Marcelo Fiore
Source: check_circle
University of Edinburgh - PURE

Skew monoidal structures on categories of algebras

Category Theory 2018, Ponta Delgada, Portugal, 8/07/19
2018-07-10 | Conference abstract | Author
SOURCE-WORK-ID:

7f745201-fd1c-4d04-93cd-cee87781d184
Contributors: Philip Saville; Marcelo Fiore
Source: check_circle
University of Edinburgh - PURE

List Objects with Algebraic Structure

2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
2017 | Conference paper
DOI: 10.4230/lipics.fscd.2017.16
Source: Self-asserted source
Philip Saville
grade
Preferred source (of 2)‎
How many people are using ORCID?