Edinburgh Research Explorer

Mr. Philip Saville

Research Associate

Current Research Interests

I am currently working with Ohad Kammar on applying category-theoretic techniques to the semantics of probabilistic programming languages.

Research Interests

I am interested in category theory and its applications to problems in logic and theoretical computer science. These include questions in universal algebra, algebraic type theory, and semantics of programming languages. I also have an interest in using syntactic methods for coherence theorems.

Biography

Research outputs

  1. Relative full completeness for bicategorical cartesian closed structure

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (6) »

Research activities & awards

  1. Coherence through normalisation-by-evaluation for cartesian closed bicategories

    Activity: Academic talk or presentation typesInvited talk

  2. A type theory for cartesian closed bicategories

    Activity: Academic talk or presentation typesInvited talk

  3. Skew monoidal structure on categories of algebras

    Activity: Academic talk or presentation typesInvited talk

View all (4) »

ID: 98187064