 |
 |
|
|
||
|
 |
Department of Pure Mathematics and Mathematical Statistics |
| |
| |
| DPMMS > People > Prof J.M.E. Hyland |
 |
Prof J.M.E. HylandTitle: Head of Department and Professor in Mathematical LogicEmail: M.Hyland@dpmms.cam.ac.uk
College: King's College Tel: +44 1223 337995 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. |
| |
| |