 Martin Hyland

(John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge.His interests include mathematical logic, category theory, and theoretical computer science.