Prof. J.M.E. Hyland

Prof. J.M.E. Hyland     Title: Professor in Mathematical Logic

College: King's College

Email: M.Hyland@dpmms

Room: C1.11

Tel: +44 1223 3 37986

Personal Home Page

Lookup Prof. J.M.E. Hyland in university directory

Research Interests: Abstract mathematics (category theory in particular) applied to logic (proof theory), theoretical computer science (semantics) and higher dimensional algebra.