Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Martin_Hyland> ?p ?o }
Showing triples 1 to 100 of
100
with 100 triples per page.
- Martin_Hyland abstract "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.".
- Martin_Hyland doctoralAdvisor Robin_Gandy.
- Martin_Hyland doctoralStudent Valeria_de_Paiva.
- Martin_Hyland residence Cambridge.
- Martin_Hyland wikiPageExternalLink ~martin.
- Martin_Hyland wikiPageExternalLink Hyland:Martin.html.
- Martin_Hyland wikiPageID "6052775".
- Martin_Hyland wikiPageLength "2209".
- Martin_Hyland wikiPageOutDegree "18".
- Martin_Hyland wikiPageRevisionID "678081351".
- Martin_Hyland wikiPageWikiLink Cambridge.
- Martin_Hyland wikiPageWikiLink Cambridge,_England.
- Martin_Hyland wikiPageWikiLink Category:Category_theorists.
- Martin_Hyland wikiPageWikiLink Category:English_mathematicians.
- Martin_Hyland wikiPageWikiLink Category:Fellows_of_Kings_College,_Cambridge.
- Martin_Hyland wikiPageWikiLink Category:Living_people.
- Martin_Hyland wikiPageWikiLink Category:Members_of_the_Department_of_Pure_Mathematics_and_Mathematical_Statistics.
- Martin_Hyland wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Martin_Hyland wikiPageWikiLink Category_theory.
- Martin_Hyland wikiPageWikiLink Effective_topos.
- Martin_Hyland wikiPageWikiLink England.
- Martin_Hyland wikiPageWikiLink Game_semantics.
- Martin_Hyland wikiPageWikiLink Kings_College,_Cambridge.
- Martin_Hyland wikiPageWikiLink Mathematical_logic.
- Martin_Hyland wikiPageWikiLink Proof_theory.
- Martin_Hyland wikiPageWikiLink Robin_Gandy.
- Martin_Hyland wikiPageWikiLink Topos.
- Martin_Hyland wikiPageWikiLink Topos_theory.
- Martin_Hyland wikiPageWikiLink University_of_Cambridge.
- Martin_Hyland wikiPageWikiLink Valeria_de_Paiva.
- Martin_Hyland wikiPageWikiLinkText "Hyland, Martin".
- Martin_Hyland wikiPageWikiLinkText "M. Hyland".
- Martin_Hyland wikiPageWikiLinkText "Martin Hyland".
- Martin_Hyland doctoralAdvisor Robin_Gandy.
- Martin_Hyland doctoralStudents Valeria_de_Paiva.
- Martin_Hyland doctoralStudents "Aaron Lauda".
- Martin_Hyland doctoralStudents "Andrew Pitts".
- Martin_Hyland doctoralStudents "Audrey Tan".
- Martin_Hyland doctoralStudents "Craig Snydal".
- Martin_Hyland doctoralStudents "Dominic Verity".
- Martin_Hyland doctoralStudents "Edmund Robinson".
- Martin_Hyland doctoralStudents "Eugenia Cheng".
- Martin_Hyland doctoralStudents "Joe Templeton".
- Martin_Hyland doctoralStudents "Murdoch Gabbay".
- Martin_Hyland doctoralStudents "Paul Taylor".
- Martin_Hyland doctoralStudents "Richard Garner".
- Martin_Hyland doctoralStudents "Sean Carmody".
- Martin_Hyland doctoralStudents "Thomas Leinster".
- Martin_Hyland doctoralStudents "Wesley Phoa".
- Martin_Hyland hasPhotoCollection Martin_Hyland.
- Martin_Hyland name "Hyland, Martin".
- Martin_Hyland name "Martin Hyland".
- Martin_Hyland residence Cambridge.
- Martin_Hyland residence Cambridge,_England.
- Martin_Hyland shortDescription "British mathematician".
- Martin_Hyland thesisTitle "Recursion Theory on the Countable Functionals".
- Martin_Hyland thesisYear "1975".
- Martin_Hyland wikiPageUsesTemplate Template:Authority_control.
- Martin_Hyland wikiPageUsesTemplate Template:For.
- Martin_Hyland wikiPageUsesTemplate Template:Infobox_scientist.
- Martin_Hyland wikiPageUsesTemplate Template:Persondata.
- Martin_Hyland wikiPageUsesTemplate Template:Reflist.
- Martin_Hyland wikiPageUsesTemplate Template:UK-mathematician-stub.
- Martin_Hyland description "British mathematician".
- Martin_Hyland description "British mathematician".
- Martin_Hyland subject Category:Category_theorists.
- Martin_Hyland subject Category:English_mathematicians.
- Martin_Hyland subject Category:Fellows_of_Kings_College,_Cambridge.
- Martin_Hyland subject Category:Living_people.
- Martin_Hyland subject Category:Members_of_the_Department_of_Pure_Mathematics_and_Mathematical_Statistics.
- Martin_Hyland subject Category:Year_of_birth_missing_(living_people).
- Martin_Hyland hypernym Professor.
- Martin_Hyland type Agent.
- Martin_Hyland type List.
- Martin_Hyland type Person.
- Martin_Hyland type Scientist.
- Martin_Hyland type List.
- Martin_Hyland type Mathematician.
- Martin_Hyland type Member.
- Martin_Hyland type Scientist.
- Martin_Hyland type Person.
- Martin_Hyland type Agent.
- Martin_Hyland type NaturalPerson.
- Martin_Hyland type Thing.
- Martin_Hyland type Q215627.
- Martin_Hyland type Q5.
- Martin_Hyland type Q901.
- Martin_Hyland type Person.
- Martin_Hyland comment "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.".
- Martin_Hyland label "Martin Hyland".
- Martin_Hyland sameAs Martin_Hyland.
- Martin_Hyland sameAs m.0fmpv6.
- Martin_Hyland sameAs Q6775742.
- Martin_Hyland sameAs Q6775742.
- Martin_Hyland wasDerivedFrom Martin_Hyland?oldid=678081351.
- Martin_Hyland givenName "Martin".
- Martin_Hyland isPrimaryTopicOf Martin_Hyland.
- Martin_Hyland name "Hyland, Martin".
- Martin_Hyland name "Martin Hyland".
- Martin_Hyland surname "Hyland".