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 2008-09, I am teaching the course Set Theory and Logic.
My teaching page contains
material for that and other courses which I have taught.
Computer Laboratory home page.
DPMMS front page.