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 educó 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 mejor conocido por su trabajo sobre 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 sobre los topos efectivos (dentro de la teoría de los topos ) y sobre la semántica de juegos . Entre sus antiguos alumnos de doctorado se encuentran Eugenia Cheng [3] [7] y Valeria de Paiva . [2] [4]
Referencias
- ^ ab Publicaciones de Martin Hyland indexadas por Google Scholar
- ^ abc Martin Hyland en el Proyecto de Genealogía de Matemáticas
- ^ ab Cheng, Eugenia (2002). Teoría de categorías de dimensiones superiores: fundamentos otopó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.
- ^ "Becarios del King's College". Reportero de la Universidad de Cambridge . 2 de octubre de 2008 . Consultado el 15 de julio de 2009 .
- ^ Hyland, John Martín Elliot (1975). Teoría de la recursión sobre los funcionales contables. bodleian.ox.ac.uk (tesis doctoral). Universidad de Oxford. OCLC 67751639. EThOS uk.bl.ethos.460247.
- ^ Cheng, Eugenia ; Hyland, Martín; Poder, John (2003). "Leyes pseudodistributivas". Apuntes Electrónicos en Informática Teórica . 83 : 227–245. doi : 10.1016/S1571-0661(03)50012-3 . ISSN 1571-0661.