Paul-André Melliès

URI: https://gptkb.org/entity/Paul-André_Melliès
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:awardReceived gptkb:CNRS_Silver_Medal
gptkbp:doctoralAdvisor gptkb:Jean-Yves_Girard
gptkbp:employer gptkb:CNRS
gptkb:Université_Paris_Diderot
gptkbp:field gptkb:theoretical_computer_science
gptkb:logic
gptkb:category_theory
gptkbp:nationality gptkb:French
gptkbp:notableWork work on categorical semantics
work on linear logic
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:bfsParent gptkb:Samson_Abramsky
gptkbp:bfsLayer 6
https://www.w3.org/2000/01/rdf-schema#label Paul-André Melliès