Properties (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
logician
|
| gptkbp:almaMater |
gptkb:University_of_Paris
|
| gptkbp:awards |
gptkb:Humboldt_Research_Award
|
| gptkbp:birthDate |
1939-07-07
|
| gptkbp:field |
Computer Science
Mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Jean-Yves Girard
|
| gptkbp:influenced |
Type Theory
|
| gptkbp:influencedBy |
gptkb:Andrey_Kolmogorov
|
| gptkbp:knownFor |
gptkb:Linear_Logic
Category Theory Proof Theory Game Semantics |
| gptkbp:nationality |
French
|
| gptkbp:work |
Proofs and Types
The Blind Spot The System F of Variable Types Interpreting Classical Logic Linear Logic: A Survey |