##
J.M.E. Hyland

###
Professor in Mathematical Logic

### Contact details

Office: C1.02

Phone: 37995

Email: `
M.Hyland@dpmms.cam.ac.uk`

###
Research

My 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.

My research page gives more
information about my research, together with
links to papers and other material.

###
Teaching

In 2009-10, I am teaching the course Complex Analysis.
My teaching page contains
material for that and other courses which I have taught.

Computer Laboratory home page.

DPMMS front page.