Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Thorsten_Altenkirch> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Thorsten_Altenkirch abstract "Thorsten Altenkirch is a German Professor of Computer Science at The University of Nottingham known for his research on Logic, Type theory, and Homotopy type theory. Altenkirch was part of the 2012/2013 special year on Univalent foundations at Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.".
- Thorsten_Altenkirch almaMater University_of_Edinburgh.
- Thorsten_Altenkirch doctoralAdvisor Rod_Burstall.
- Thorsten_Altenkirch field Constructivism_(mathematics).
- Thorsten_Altenkirch field Homotopy_type_theory.
- Thorsten_Altenkirch field Type_theory.
- Thorsten_Altenkirch wikiPageExternalLink ~psztxa.
- Thorsten_Altenkirch wikiPageID "48765520".
- Thorsten_Altenkirch wikiPageLength "1990".
- Thorsten_Altenkirch wikiPageOutDegree "22".
- Thorsten_Altenkirch wikiPageRevisionID "696425664".
- Thorsten_Altenkirch wikiPageWikiLink Category:Academics_of_the_University_of_Nottingham.
- Thorsten_Altenkirch wikiPageWikiLink Category:Alumni_of_the_University_of_Edinburgh.
- Thorsten_Altenkirch wikiPageWikiLink Category:Computer_scientists.
- Thorsten_Altenkirch wikiPageWikiLink Category:Living_people.
- Thorsten_Altenkirch wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Thorsten_Altenkirch wikiPageWikiLink Constructivism_(mathematics).
- Thorsten_Altenkirch wikiPageWikiLink Container_(type_theory).
- Thorsten_Altenkirch wikiPageWikiLink Epigram_(programming_language).
- Thorsten_Altenkirch wikiPageWikiLink Germany.
- Thorsten_Altenkirch wikiPageWikiLink Graham_Hutton.
- Thorsten_Altenkirch wikiPageWikiLink Homotopy_type_theory.
- Thorsten_Altenkirch wikiPageWikiLink Institute_for_Advanced_Study.
- Thorsten_Altenkirch wikiPageWikiLink Rod_Burstall.
- Thorsten_Altenkirch wikiPageWikiLink Type_theory.
- Thorsten_Altenkirch wikiPageWikiLink Univalent_foundations.
- Thorsten_Altenkirch wikiPageWikiLink University_of_Edinburgh.
- Thorsten_Altenkirch wikiPageWikiLink University_of_Nottingham.
- Thorsten_Altenkirch wikiPageWikiLinkText "Thorsten Altenkirch".
- Thorsten_Altenkirch almaMater University_of_Edinburgh.
- Thorsten_Altenkirch doctoralAdvisor Rod_Burstall.
- Thorsten_Altenkirch fields Constructivism_(mathematics).
- Thorsten_Altenkirch fields Homotopy_type_theory.
- Thorsten_Altenkirch fields Type_theory.
- Thorsten_Altenkirch name "Thorsten Altenkirch".
- Thorsten_Altenkirch wikiPageUsesTemplate Template:Authority_control.
- Thorsten_Altenkirch wikiPageUsesTemplate Template:Infobox_scientist.
- Thorsten_Altenkirch wikiPageUsesTemplate Template:Reflist.
- Thorsten_Altenkirch workplaces Institute_for_Advanced_Study.
- Thorsten_Altenkirch workplaces University_of_Nottingham.
- Thorsten_Altenkirch subject Category:Academics_of_the_University_of_Nottingham.
- Thorsten_Altenkirch subject Category:Alumni_of_the_University_of_Edinburgh.
- Thorsten_Altenkirch subject Category:Computer_scientists.
- Thorsten_Altenkirch subject Category:Living_people.
- Thorsten_Altenkirch subject Category:Year_of_birth_missing_(living_people).
- Thorsten_Altenkirch hypernym Professor.
- Thorsten_Altenkirch type Agent.
- Thorsten_Altenkirch type Person.
- Thorsten_Altenkirch type Scientist.
- Thorsten_Altenkirch type Person.
- Thorsten_Altenkirch type Agent.
- Thorsten_Altenkirch type NaturalPerson.
- Thorsten_Altenkirch type Thing.
- Thorsten_Altenkirch type Q215627.
- Thorsten_Altenkirch type Q5.
- Thorsten_Altenkirch type Q901.
- Thorsten_Altenkirch type Person.
- Thorsten_Altenkirch comment "Thorsten Altenkirch is a German Professor of Computer Science at The University of Nottingham known for his research on Logic, Type theory, and Homotopy type theory. Altenkirch was part of the 2012/2013 special year on Univalent foundations at Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.".
- Thorsten_Altenkirch label "Thorsten Altenkirch".
- Thorsten_Altenkirch sameAs Q22087167.
- Thorsten_Altenkirch sameAs Q22087167.
- Thorsten_Altenkirch wasDerivedFrom Thorsten_Altenkirch?oldid=696425664.
- Thorsten_Altenkirch isPrimaryTopicOf Thorsten_Altenkirch.
- Thorsten_Altenkirch name "Thorsten Altenkirch".