
Martin Hyland
Life Fellow in Mathematics (Pure)
Research: Abstract mathematics (category theory in particular) applied to logic (proof theory), theoretical computer science (semantics) and higher dimensional algebra.
Life Fellow in Mathematics (Pure)
Research: Abstract mathematics (category theory in particular) applied to logic (proof theory), theoretical computer science (semantics) and higher dimensional algebra.