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.
Martin Hyland is renowned for his contributions to category theory applied to logic (proof theory, recursion theory), theoretical computer science (lambda-calculus and semantics), and higher-dimensional algebra.