Martin Hyland
For the Irish gangster, see Martin "Marlo" Hyland.
| Martin Hyland | |
|---|---|
| Residence | Cambridge, England |
| Thesis | Recursion Theory on the Countable Functionals (1975) |
| Doctoral advisor | Robin Gandy |
John Martin Elliott Hyland is professor of mathematics at King's College in the University of Cambridge, England. His interests include mathematical logic, category theory, and theoretical computer science.[1]
Martin Hyland is best known for his work on category theory applied to logic (proof theory, recursion theory), theoretical computer science (lambda-calculus and semantics) and higher-dimensional algebra. In particular he is known for work on the effective topos (within topos theory) and on game semantics.
Notes
- ↑ "Fellows of King's College". Cambridge University Reporter. 2008-10-02. Retrieved 2009-07-15.
External links
|