Lambda the Ultimate

At University of Edinburgh since 1990

Notions of computability, particularly at higher types
Semantics and logic of programming languages
Game semantics