About: Martin Hyland

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Martin Hyland Goto Sponge NotDistinct Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FMartin_Hyland

(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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species yago:WikicatCategoryTheorists schema:Person yago:WikicatLivingPeople Scientist 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
rdfs:label	Martin Hyland (en) Martin Hyland (fr) 馬丁·海蘭德 (zh)
rdfs:comment	(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)
foaf:name	Martin Hyland (en)
foaf:homepage	http://www.dpmms.cam.ac.uk/~martin/
name	Martin Hyland (en)
foaf:depiction
dcterms:subject	Living people Year of birth missing (living people) Cambridge mathematicians Fellows of King's College, Cambridge Category theorists English mathematicians
Wikipage page ID	6052775 (xsd:integer)
Wikipage revision ID	1083152341 (xsd:integer)
Link from a Wikipage to another Wikipage	Cambridge Robin Gandy Topos theory University of Cambridge University of Oxford Living people Year of birth missing (living people) Mathematical logic Mathematics Fellow Professor Theoretical computer science Cambridge mathematicians Fellows of King's College, Cambridge Doctor of Philosophy Game semantics Eugenia Cheng Category theorists Proof theory Higher-dimensional algebra English mathematicians King's College, Cambridge Effective topos Category theory Semantics of programming languages Valeria de Paiva Lambda-calculus Recursion theory
Link from a Wikipage to an external page	http://www.dpmms.cam.ac.uk/~martin/ http://ethos.bl.uk/OrderDetails.do%3Fuin=uk.bl.ethos.460247
sameAs	Martin Hyland Martin Hyland Martin Hyland Martin Hyland Martin Hyland Martin Hyland Martin Hyland Martin Hyland Martin Hyland Martin Hyland
thesis title	Recursion Theory on the Countable Functionals (en)
thesis url	http://ethos.bl.uk/OrderDetails.do%3Fuin=uk.bl.ethos.460247
thesis year	1975 (xsd:integer)
work institution	University of Cambridge
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:For dbt:Reflist

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software