Martin Hyland is Professor in Mathematical Logic in the University of Cambridge, and is a Fellow of Kingâ€™s College, Cambridge.
His main research interests are in the following.
Mathematical Logic: Lambda Calculus, Recursion Theory, Realizability, Proof Theory, Linear Logic.
Category Theory: Topos Theory, Categorical algebra, Operads, Higher-dimensional Categories.
Theoretical Computer Science: Applications of Category Theory, Domain Theory, Polymorphism, Game Semantics.
His webpages are:
and a research page
Last revised on October 8, 2010 at 12:16:47. See the history of this page for a list of all contributions to it.