picture of     J.M.E. Hyland

Professor in Mathematical Logic

Fellow of King's College, Cambridge

Contact details

Office: C1.02
Phone: 37995
Email: M.Hyland@dpmms.cam.ac.uk


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.


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.