P. A. Selinger

URI: https://gptkb.org/entity/P._A._Selinger
GPTKB entity
Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthYear 1971
gptkbp:doctoralAdvisor gptkb:Reinhard_Kahle
gptkb:Peter_Aczel
gptkbp:education gptkb:University_of_Karlsruhe
gptkb:University_of_Oxford
gptkbp:employer gptkb:Dalhousie_University
gptkbp:field gptkb:theoretical_computer_science
gptkb:logic
gptkb:quantum_computing
gptkb:category_theory
gptkbp:fullName gptkb:Peter_Andrew_Selinger
gptkbp:nationality gptkb:Canadian
gptkbp:notableWork gptkb:Selinger's_theorem
work on categorical quantum mechanics
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:position gptkb:professor
gptkbp:website https://www.mathstat.dal.ca/~selinger/
gptkbp:bfsParent gptkb:System_R:_Relational_Approach_to_Database_Management_(1976)
gptkbp:bfsLayer 7
https://www.w3.org/2000/01/rdf-schema#label P. A. Selinger