Martin Hyland | |
|---|---|
 | |
| Born | John Martin Elliott Hyland |
| Alma mater | University of Oxford (DPhil) |
| Scientific career | |
| Fields | Mathematics Theoretical computer science[1] |
| Institutions | University of Cambridge |
| Thesis | Recursion Theory on the Countable Functionals (1975) |
| Doctoral advisor | Robin Gandy[2] |
| Doctoral students | |
| Website | www |
(John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science.[5]
- ^ Cite error: The named reference
googlescholarwas invoked but never defined (see the help page). - ^ Cite error: The named reference
mathgenewas invoked but never defined (see the help page). - ^ Cheng, Eugenia (2002). Higher-dimensional category theory : opetopic foundations (PDF). cheng.staff.shef.ac.uk (PhD thesis). University of Cambridge. OCLC 879393286. EThOS uk.bl.ethos.597569. Archived from the original (PDF) on 31 October 2008.
- ^ Paiva, Valeria Correa Vaz de (1988). The dialectica categories (PhD thesis). University of Cambridge. EThOS uk.bl.ethos.315050.
- ^ "Fellows of King's College". Cambridge University Reporter. 2 October 2008. Retrieved 15 July 2009.