Martin Hyland (original) (raw)
- (John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science. (en)
- (John) Martin Elliott Hyland est professeur de logique mathématique à l'université de Cambridge et fellow du King's College de Cambridge. Ses thèmes de recherche incluent la logique mathématique, la théorie des catégories et l'informatique théorique. (fr)
- 約翰·馬丁·艾略特·海蘭德((John) Martin Elliott Hyland)是剑桥大学数理逻辑教授和剑桥大学国王学院研究员。他的研究兴趣包括数理逻辑、范畴论和理论计算机科学。 (zh)
- John Martin Elliott Hyland (en)
- 6052775 (xsd:integer)
- 3802 (xsd:nonNegativeInteger)
- 1083152341 (xsd:integer)
- dbr:Cambridge
- dbr:Robin_Gandy
- dbr:Topos_theory
- dbr:University_of_Cambridge
- dbr:University_of_Oxford
- dbc:Living_people
- dbc:Year_of_birth_missing_(living_people)
- dbr:Mathematical_logic
- dbr:Mathematics
- dbr:Fellow
- dbr:Professor
- dbr:Theoretical_computer_science
- dbc:Cambridge_mathematicians
- dbc:Fellows_of_King's_College,_Cambridge
- dbr:Doctor_of_Philosophy
- dbr:Game_semantics
- dbr:Eugenia_Cheng
- dbc:Category_theorists
- dbr:Proof_theory
- dbr:Higher-dimensional_algebra
- dbc:English_mathematicians
- dbr:King's_College,_Cambridge
- dbr:Effective_topos
- dbr:Category_theory
- dbr:Semantics_of_programming_languages
- dbr:Valeria_de_Paiva
- dbr:Lambda-calculus
- dbr:Recursion_theory
- John Martin Elliott Hyland (en)
- (en)
- Eugenia Cheng (en)
- Valeria de Paiva (en)
- Martin Hyland (en)
- Cambridge, England (en)
- Recursion Theory on the Countable Functionals (en)
- 1975 (xsd:integer)
- dbt:Authority_control
- dbt:For
- dbt:Reflist
- dbt:Short_description
- dbt:Use_dmy_dates
- dbt:Infobox_scientist
- dbt:UK-mathematician-stub
- dbc:Living_people
- dbc:Year_of_birth_missing_(living_people)
- dbc:Cambridge_mathematicians
- dbc:Fellows_of_King's_College,_Cambridge
- dbc:Category_theorists
- dbc:English_mathematicians
- owl:Thing
- foaf:Person
- dbo:Person
- dul:NaturalPerson
- wikidata:Q19088
- wikidata:Q215627
- wikidata:Q5
- wikidata:Q729
- dbo:Animal
- dbo:Eukaryote
- dbo:Scientist
- dbo:Species
- yago:WikicatCategoryTheorists
- schema:Person
- yago:WikicatLivingPeople
- wikidata:Q901
- yago:Associate109816771
- yago:CausalAgent100007347
- yago:Colleague109935990
- yago:Intellectual109621545
- yago:LivingThing100004258
- yago:Mathematician110301261
- yago:Object100002684
- yago:Organism100004475
- yago:Peer109626238
- yago:Person100007846
- yago:PhysicalEntity100001930
- yago:YagoLegalActor
- yago:YagoLegalActorGeo
- yago:Scientist110560637
- yago:Theorist110706812
- yago:Whole100003553
- yago:WikicatEnglishMathematicians
- yago:WikicatFellowsOfKing'sCollege,Cambridge
- umbel-rc:Scientist
- (John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science. (en)
- (John) Martin Elliott Hyland est professeur de logique mathématique à l'université de Cambridge et fellow du King's College de Cambridge. Ses thèmes de recherche incluent la logique mathématique, la théorie des catégories et l'informatique théorique. (fr)
- 約翰·馬丁·艾略特·海蘭德((John) Martin Elliott Hyland)是剑桥大学数理逻辑教授和剑桥大学国王学院研究员。他的研究兴趣包括数理逻辑、范畴论和理论计算机科学。 (zh)
- Martin Hyland (en)
- Martin Hyland (fr)
- 馬丁·海蘭德 (zh)
- freebase:Martin Hyland
- http://viaf.org/viaf/164384846
- yago-res:Martin Hyland
- https://dblp.org/pid/h/JMEHyland
- wikidata:Martin Hyland
- http://data.bibliotheken.nl/id/thes/p134308964
- dbpedia-fr:Martin Hyland
- http://ht.dbpedia.org/resource/Martin_Hyland
- dbpedia-zh:Martin Hyland
- https://global.dbpedia.org/id/4rPFC
- Martin Hyland (en)
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
- dbr:Categorical_logic
- dbr:Robin_Gandy
- dbr:Hyland,_Martin
- dbr:Game_semantics
- dbr:Logics_for_computability
- dbr:Eugenia_Cheng
- dbr:Dialectica_space
- dbr:Hyland
- dbr:ACM_SIGLOG
- dbr:Colin_McLarty
- dbr:Groupoid
- dbr:Faculty_of_Mathematics,_University_of_Cambridge
- dbr:Valeria_de_Paiva
- dbr:J.M.E._Hyland
- dbr:J._M._E._Hyland
is dbp:doctoralAdvisor of
is foaf:primaryTopic of