Samson Abramsky
(Wolfson College, University of Oxford)
Intensionality, Definability and Computation

The aim is to talk about higher-type computation, and how to characterize various forms of computability in this setting. This will reference various developments in computer science, e.g. domain theory, the full abstraction problem, and game semantics.