Matemático británico
(John) Martin Elliott Hyland es profesor de lógica matemática en la Universidad de Cambridge y miembro del King's College de Cambridge . Sus intereses incluyen la lógica matemática, la teoría de categorías y la informática teórica . [5]
Educación
Hyland se formó en la Universidad de Oxford , donde obtuvo el título de Doctor en Filosofía en 1975 [6] por una investigación supervisada por Robin Gandy . [2]
Investigación y carrera
Martin Hyland es más conocido por su trabajo en teoría de categorías aplicada a la lógica ( teoría de la prueba , teoría de la recursión ), informática teórica ( cálculo lambda y semántica ) y álgebra de dimensiones superiores . [1] En particular, es conocido por su trabajo en topos efectivos (dentro de la teoría de topos ) y en semántica de juegos . Entre sus antiguos estudiantes de doctorado se incluyen Eugenia Cheng [3] [7] y Valeria de Paiva . [2] [4]
Referencias
- ^ Publicaciones de Martin Hyland indexadas por Google Scholar
- ^ abc Martin Hyland en el Proyecto de Genealogía Matemática
- ^ ab Cheng, Eugenia (2002). Teoría de categorías de dimensiones superiores: fundamentos opetópicos (PDF) . cheng.staff.shef.ac.uk (tesis doctoral). Universidad de Cambridge. OCLC 879393286. EThOS uk.bl.ethos.597569. Archivado desde el original (PDF) el 31 de octubre de 2008.
- ^ ab Paiva, Valeria Correa Vaz de (1988). Las categorías dialécticas (tesis doctoral). Universidad de Cambridge. EThOS uk.bl.ethos.315050.
- ^ "Fellows of King's College". Cambridge University Reporter . 2 de octubre de 2008. Consultado el 15 de julio de 2009 .
- ^ Hyland, John Martin Elliot (1975). Teoría de la recursión en los funcionales contables. bodleian.ox.ac.uk (tesis doctoral). Universidad de Oxford. OCLC 67751639. EThOS uk.bl.ethos.460247.
- ^ Cheng, Eugenia ; Hyland, Martin; Power, John (2003). "Leyes pseudodistributivas". Notas electrónicas en informática teórica . 83 : 227–245. doi : 10.1016/S1571-0661(03)50012-3 . ISSN 1571-0661.