Foundations of Programming Languages
Foundations of programming languages is concerned with basic aspects of programming languages and the kinds of computation and structure that they describe. For example, research into type theory, semantics of programming languages, domain theory, category theory, and game semantics.