Professor Martin Hyland

J.M.E. Hyland    

Room: C1.11

Tel: 01223 337986

Personal Home Page

Lookup J.M.E. Hyland in university directory

Professor of Mathematical Logic

Research Interests: 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.