Peter Lumsdaine

URI: https://gptkb.org/entity/Peter_Lumsdaine

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:academic gptkb:mathematician
gptkbp:affiliation	gptkb:Stockholm_University
gptkbp:doctoralAdvisor	gptkb:Steve_Awodey
gptkbp:field	gptkb:logic gptkb:mathematics gptkb:homotopy_type_theory gptkb:category_theory
gptkbp:formerPosition	gptkb:Carnegie_Mellon_University gptkb:University_of_Chicago gptkb:University_of_Stockholm
gptkbp:nationality	gptkb:American
gptkbp:notableWork	work on homotopy type theory
gptkbp:bfsParent	gptkb:homotopy_type_theory
gptkbp:bfsLayer	7
http://www.w3.org/2000/01/rdf-schema#label	Peter Lumsdaine