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 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.

Research outputs

  1. A type theory for cartesian closed bicategories

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

  2. List Objects with Algebraic Structure

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

View all (2) »

ID: 98187064