Paul-André Melliès

URI: https://gptkb.org/entity/Paul-André_Melliès

GPTKB entity

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