Peter LeFanu Lumsdaine

URI: https://gptkb.org/entity/Peter_LeFanu_Lumsdaine
GPTKB entity
Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:awardReceived gptkb:Paul_Lowin_Orchestral_Prize
gptkbp:dateOfBirth 1953
https://www.w3.org/2000/01/rdf-schema#label Peter LeFanu Lumsdaine
gptkbp:nationality gptkb:Australian
gptkbp:notableWork gptkb:A_Garden_of_Earthly_Delights
gptkb:Cambewarra
gptkbp:occupation composer
musicologist
gptkbp:placeOfBirth gptkb:Sydney
gptkbp:bfsParent gptkb:Homotopy_Type_Theory:_Univalent_Foundations_of_Mathematics
gptkbp:bfsLayer 6