(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]
Martin Hyland | |
---|---|
Nació | John Martin Elliott Hyland |
alma mater | Universidad de Oxford (DPhil) |
Carrera científica | |
Campos | Matemáticas Informática teórica [1] |
Instituciones | Universidad de Cambridge |
Tesis | Teoría de la recursividad sobre los funcionales contables (1975) |
Asesor de doctorado | Robin Gandy [2] |
Estudiantes de doctorado | |
Sitio web | www |
Educación
Hyland se educó en la Universidad de Oxford, donde se le concedió 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 mejor conocido por su trabajo sobre la teoría de categorías aplicada a la lógica ( teoría de la prueba , teoría de la recursividad ), informática teórica ( cálculo lambda y semántica ) y álgebra de dimensiones superiores . [1] En particular, es conocido por su trabajo en los topos efectivos (dentro de la teoría de los topos ) y en la semántica de juegos . Sus antiguos estudiantes de doctorado incluyen a Eugenia Cheng [3] [7] y Valeria de Paiva . [2] [4]
Referencias
- ^ a b Publicaciones de Martin Hyland indexadas por Google Scholar
- ^ a b c Martin Hyland en el Proyecto de genealogía de las matemáticas
- ↑ a b Cheng, Eugenia (2002). Teoría de categorías de dimensiones superiores: fundamentos opetopicos (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.
- ^ a b Paiva, Valeria Correa Vaz de (1988). Las categorías de dialéctica (tesis doctoral). Universidad de Cambridge. EThOS uk.bl.ethos.315050 .
- ^ "Becarios del King's College" . Reportero de la Universidad de Cambridge . 2008-10-02 . Consultado el 15 de julio de 2009 .
- ^ Hyland, John Martin Elliot (1975). Teoría de la recursividad sobre los funcionales contables . bodleian.ox.ac.uk (tesis doctoral). Universidad de Oxford. OCLC 67751639 . EThOS uk.bl.ethos.460247 .
- ^ Cheng, Eugenia ; Hyland, Martin; Poder, 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 .