University of Leicester


PhD Research Themes in Programming Language Semantics

Nominal Gluing

This project makes use of category theory, type theory, denotational semantics and functional programming. There has been a lot of research over many years which uses techniques from category theory and type theory to formulate results about the nature of evaluation of functional code. For example, some results prove that if one has well typed code satisfying certain properties, then termination is guaranteed. One can also use these techniques to derive abstract machines on which code may run. The basic idea of this project is to look at these ideas in a nominal setting.

More information will follow.

Author: Roy Crole (, T: +44 (0)116 252 3404 .
© University of Leicester December 2019. Last modified: 6th December 2019, 13:49:23
Informatics Web Maintainer. This document has been approved by the Head of Department.