nLab Martin Hyland

Selected writings

Martin Hyland is Professor in Mathematical Logic in the University of Cambridge, and is a Fellow of King’s College, Cambridge. Hyland is known for work on the effective topos (within topos theory), on the lambda-calculus and on game semantics.

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

Selected writings

On categorical semantics for the exponential modality in linear logic:

On realizability and the propositional axiom of choice:

On categorical semantics for linear logic:

On the history of categorical universal algebra via Lawvere theories and monads:

category: people

Last revised on August 12, 2023 at 11:33:02. See the history of this page for a list of all contributions to it.