| dbo:description
|
- philosopher (en)
- 研究者 (ja)
- 研究者 (zh)
- 연구원 (ko)
- fealsamh (ga)
- filosofo britannico (it)
- filosofo britainiarra (eu)
- filòsof britànic (ca)
- filósofo británico (es)
- filósofo británico (gl)
- filósofo britânico (pt)
- filósofu británicu (ast)
- philosophe britannique (fr)
- britischer Philosoph (de)
- onderzoeker (nl)
|
| dbo:era
| |
| dbo:mainInterest
| |
| dbo:notableIdea
| |
| dbo:philosophicalSchool
| |
| dbo:region
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:birthName
| |
| dbp:bot
| |
| dbp:date
|
- 2007-03-03 (xsd:date)
- August 2025 (en)
|
| dbp:doctoralAdvisor
| |
| dbp:education
| |
| dbp:era
| |
| dbp:fixAttempted
| |
| dbp:institutions
| |
| dbp:mainInterests
| |
| dbp:name
| |
| dbp:notableIdeas
|
- Modal homotopy type theory (en)
- Philosophy of real mathematics (en)
- Adoption of mathematical-categorification procedures for philosophy (en)
- Homotopy type theory as an inherently structuralist foundational language for mathematics (en)
|
| dbp:region
| |
| dbp:schoolTradition
| |
| dbp:thesisTitle
|
- Research Programmes, Logic, and Analogy: Three Aspects of Mathematics and Its Development (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:url
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:influenced
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is dbp:influenced
of | |
| is foaf:primaryTopic
of | |
