Jean-Yves Girard

URI: https://gptkb.org/entity/Jean-Yves_Girard

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematician gptkb:person
gptkbp:almaMater	gptkb:University_of_Paris
gptkbp:awardReceived	gptkb:CNRS_Silver_Medal gptkb:Gödel_Prize
gptkbp:birthDate	1947-09-01
gptkbp:birthPlace	gptkb:Lyon
gptkbp:doctoralAdvisor	gptkb:Roland_Fraïssé
gptkbp:field	gptkb:logic proof theory
https://www.w3.org/2000/01/rdf-schema#label	Jean-Yves Girard
gptkbp:influenced	gptkb:logic proof theory
gptkbp:knownFor	gptkb:Girard's_paradox gptkb:linear_logic gptkb:ludics gptkb:system_F
gptkbp:memberOf	gptkb:French_Academy_of_Sciences
gptkbp:nationality	gptkb:French
gptkbp:occupation	gptkb:professor gptkb:researchers
gptkbp:bfsParent	gptkb:logic gptkb:John_Tate
gptkbp:bfsLayer	4