stringtranslate.com

Martín Hyland

(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

  1. ^ Publicaciones de Martin Hyland indexadas por Google Scholar
  2. ^ abc Martin Hyland en el Proyecto de Genealogía Matemática
  3. ^ 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.
  4. ^ ab Paiva, Valeria Correa Vaz de (1988). Las categorías dialécticas (tesis doctoral). Universidad de Cambridge. EThOS  uk.bl.ethos.315050.
  5. ^ "Fellows of King's College". Cambridge University Reporter . 2 de octubre de 2008. Consultado el 15 de julio de 2009 .
  6. ^ 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.
  7. ^ 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.