Thorsten Altenkirch

URI: https://gptkb.org/entity/Thorsten_Altenkirch
GPTKB entity
Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Edinburgh
gptkbp:birthYear 1965
gptkbp:doctoralAdvisor gptkb:Peter_Aczel
gptkbp:employer gptkb:University_of_Nottingham
gptkbp:field gptkb:logic
gptkb:homotopy_type_theory
gptkb:category_theory
functional programming
https://www.w3.org/2000/01/rdf-schema#label Thorsten Altenkirch
gptkbp:knownFor gptkb:homotopy_type_theory
contributions to type theory
gptkbp:nationality gptkb:German
gptkbp:notableWork gptkb:Agda
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:homotopy_type_theory
gptkbp:bfsLayer 5