 Hyland was educated at the University of Oxford where he was awarded a Doctor of Philosophy degree in 1975 for research supervised by Robin Gandy.Martin Hyland is best known for his work on category theory applied to logic (proof theory, recursion theory), theoretical computer science (lambda-calculus and semantics) and higher-dimensional algebra.In particular he is known for work on the effective topos (within topos theory) and on game semantics.