224266 materialEducativo

Martin Hyland

tipo de documento Wikipedia Artikulua Scientist

Gustatzen zait 0
Bisitak 6
Oharrak 0
Hemen gorde:
Ekintzak
- Lotura bidali

Baliabide honi buruz...

Scientist

Artículo WikipediaFuente Dbpedia

John Martin Elliott Hyland is professor of mathematics at King's College in the University of Cambridge, England. His interests include mathematical logic, category theory, and theoretical computer science.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.

Wikipedia Inglés http://en.wikipedia.org/wiki/Martin_Hyland

Wikipedia Español http://es.wikipedia.org/wiki/Martin_Hyland

Enlaces externos relacionado http://www.dpmms.cam.ac.uk/~martin/ http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hyland:Martin.html