Martin Hyland

Martin Hyland
Residence	Cambridge, England
Doctoral advisor	Robin Gandy

John Martin Elliott Hyland is professor of mathematics at King's College in the University of Cambridge, England where he is currently head of the Department of Pure Mathematics and Mathematical Statistics.^[1] His interests include mathematical logic, category theory, and theoretical computer science.^[2]

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.

External links

• Hyland's home page
• Martin Hyland at the Mathematics Genealogy Project.
• Hyland's DBLP entry

Notes

1. ^ "About DPMMS". Cambridge University. http://www.dpmms.cam.ac.uk/about/. Retrieved 2011-10-17. 
2. ^ "Fellows of King's College". Cambridge University Reporter. 2008-10-02. http://www.admin.cam.ac.uk/reporter/2008-09/special/03/15.html. Retrieved 2009-07-15. 

Persondata
Name	Hyland, Martin
Alternative names
Short description
Date of birth
Place of birth
Date of death
Place of death

This article about a United Kingdom mathematician is a stub. You can help Wikipedia by expanding it.v · Categories: Living people Fellows of King's College, Cambridge English mathematicians Category theorists Members of the Department of Pure Mathematics and Mathematical Statistics British mathematician stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем решить контрольную работу Physostegia William Q. Dallmeyer Look at other dictionaries: Hyland — can refer to any of the following:People*Brian Hyland, American musician *Davy Hyland, Northern Irish politician *Diana Hyland, American actress *Drew Hyland, American academic and philosopher *Frances Hyland, Canadian actress *Harry Hyland,… …   Wikipedia Martin O'Toole — Martin Joseph O Toole (born 27 May 1925)[1] is a former Fianna Fáil politician from County Mayo in Ireland. He was a senator from 1977 to 1989, then a Teachta Dala (TD) for two years. Born in Louisburgh, County Mayo, O Toole was a farmer,… …   Wikipedia Martin V. Bergen — Sport(s) Football, baseball Biographical details Born January 1872 Place of birth Camden, New Jersey Died July 8, 1941 (aged 69) Place of death …   Wikipedia Lilly Martin Spencer — (born Angelique Marie Martin) (November 26, 1822 – May 22, 1902) was one of the most popular and widely reproduced American female genre painters in the mid nineteenth century. She painted domestic scenes, women and children in a warm happy… …   Wikipedia Game semantics — (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval …   Wikipedia Logics for computability — are formulations of logic whichcapture some aspect of computability as a basic notion. This usually involves a mixof special logical connectives as well as semantics which explains how the logic is to be interpreted in a computational… …   Wikipedia Galois connection — In mathematics, especially in order theory, a Galois connection is a particular correspondence between two partially ordered sets (posets). Galois connections generalize the correspondence between subgroups and subfields investigated in Galois… …   Wikipedia Faculty of Mathematics, University of Cambridge — The Faculty of Mathematics at the University of Cambridge comprises the Department of Pure Mathematics and Mathematical Statistics (DPMMS) and the Department of Applied Mathematics and Theoretical Physics (DAMTP). It is housed in the Centre for… …   Wikipedia Dialectica space — Dialectica spaces are a categorical way of constructing models of linear logic. They were introduced by Valeria de Paiva, Martin Hyland s student, in her doctoral thesis, as a way of modeling both linear logic and Gödel s dialectica… …   Wikipedia Conexión de Galois — En matemática, especialmente en la teoría del orden, una conexión de Galois es una correspondencia particular entre dos conjuntos parcialmente ordenados (abreviado poset en inglés). Las conexiones de Galois generalizan la correspondencia entre… …   Wikipedia Español 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”