Philip Saville
Position
Research Associate
Roles
Member of Laboratory for Foundations of Computer Science
Research Interests
I am interested in category theory and its applications to theoretical computer science. Particularly: (1) categorical semantics of programming languages, (2) categorical universal algebra, and (3) higher-dimensional categories: their internal languages, proofs of coherence, and applications to rewriting theory and proof theory.
Email Address
<Philip.Saville@ed.ac.uk>
Office,Telephone
IF-5.38
Publications - Edinburgh Research Explorer
Personal Page


Home : People 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh