Peter LeFanu Lumsdaine

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:awardReceived	gptkb:Paul_Lowin_Orchestral_Prize
gptkbp:dateOfBirth	1953
gptkbp:nationality	gptkb:Australian
gptkbp:notableWork	gptkb:A_Garden_of_Earthly_Delights gptkb:Cambewarra
gptkbp:occupation	gptkb:composer gptkb:musicologist
gptkbp:placeOfBirth	gptkb:Sydney
gptkbp:bfsParent	gptkb:HoTT_community gptkb:Homotopy_Type_Theory gptkb:Homotopy_Type_Theory:_Univalent_Foundations_of_Mathematics
gptkbp:bfsLayer	8
https://www.w3.org/2000/01/rdf-schema#label	Peter LeFanu Lumsdaine