Ong, C.-H. Luke
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.

No queries for www.comlab.ox.ac.uk/people/Luke.Ong