Jean-Yves Girard
E870225
Jean-Yves Girard is a French logician and mathematician renowned for founding linear logic and making influential contributions to proof theory and the foundations of mathematics.
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
French logician
ⓘ
human ⓘ logician ⓘ |
| awardReceived |
CNRS Silver Medal
NERFINISHED
ⓘ
Gödel Lecture (ASL) NERFINISHED ⓘ |
| birthDate | 1941-02-28 ⓘ |
| birthPlace |
France
NERFINISHED
ⓘ
Paris ⓘ |
| contributedTo |
categorical logic
ⓘ
computational interpretations of logic ⓘ development of polymorphic type systems ⓘ semantics of proofs ⓘ |
| countryOfCitizenship | France ⓘ |
| educatedAt | École Normale Supérieure NERFINISHED ⓘ |
| employer |
CNRS
NERFINISHED
ⓘ
Université de Provence NERFINISHED ⓘ Université de la Méditerranée Aix-Marseille II NERFINISHED ⓘ |
| fieldOfWork |
category theory
ⓘ
foundations of mathematics ⓘ lambda calculus ⓘ linear logic ⓘ mathematical logic ⓘ proof theory ⓘ type theory ⓘ |
| gender | male ⓘ |
| influenced |
functional programming languages
ⓘ
proof assistants and automated theorem proving ⓘ type theory in computer science ⓘ |
| influencedBy |
Gerhard Gentzen
NERFINISHED
ⓘ
Jean-Louis Krivine NERFINISHED ⓘ Kurt Gödel NERFINISHED ⓘ |
| knownFor |
Girard's paradox
NERFINISHED
ⓘ
System F NERFINISHED ⓘ coherent Banach spaces ⓘ founding linear logic ⓘ game semantics in logic ⓘ geometry of interaction NERFINISHED ⓘ ludics ⓘ polymorphic lambda calculus ⓘ work in proof theory ⓘ work on the foundations of mathematics ⓘ |
| languageOfWorkOrName | French ⓘ |
| memberOf | CNRS NERFINISHED ⓘ |
| notableWork |
Le Point Aveugle
NERFINISHED
ⓘ
Linear Logic NERFINISHED ⓘ Locus Solum NERFINISHED ⓘ Proofs and Types NERFINISHED ⓘ System F NERFINISHED ⓘ The Blind Spot NERFINISHED ⓘ |
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.