Martin Hyland

URI: https://gptkb.org/entity/Martin_Hyland
GPTKB entity
Statements (25)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Oxford
gptkbp:birthYear 1945
gptkbp:doctoralAdvisor gptkb:Robin_Gandy
gptkbp:employer gptkb:University_of_Cambridge
gptkbp:field gptkb:theoretical_computer_science
gptkb:logic
gptkb:mathematics
gptkb:category_theory
gptkbp:knownFor gptkb:Hyland–Ong_games
effective topos
work in categorical logic
gptkbp:memberOf gptkb:Fellow_of_King's_College,_Cambridge
gptkbp:nationality British
gptkbp:notableStudent gptkb:Peter_Johnstone
gptkb:Samson_Abramsky
gptkb:Luke_Ong
gptkb:Martin_Hofmann
gptkb:Thomas_Streicher
gptkb:Valeria_de_Paiva
gptkbp:occupation gptkb:mathematician
gptkbp:position Professor of Mathematical Logic
gptkbp:bfsParent gptkb:Dana_Scott
gptkbp:bfsLayer 5
https://www.w3.org/2000/01/rdf-schema#label Martin Hyland