Name Martin Hyland Role Professor of mathematics | Residence Cambridge Doctoral advisor Robin Gandy | |
 | ||
Thesis Recursion Theory on the Countable Functionals (1975) Doctoral students Sean Carmody
Eugenia Cheng
Valeria Correa Vaz de Paiva
Murdoch Gabbay
Richard Garner
Aaron Lauda
Thomas Leinster
Wesley Phoa
Andrew Pitts
Edmund Robinson
Craig Snydal
Audrey Tan
Paul Taylor
Joe Templeton
Dominic Verity | ||
Martin Hyland, Models for Type Theory - 16 aprile 2014
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.
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.
References
Martin Hyland Wikipedia(Text) CC BY-SA