Peter LeFanu Lumsdaine

URI: https://gptkb.org/entity/Peter_LeFanu_Lumsdaine
GPTKB entity
Statements (14)
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