Jean-Yves Girard
From Wikipedia, the free encyclopedia
Jean-Yves Girard is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics.
Girard is a research director of CNRS in Marseille and a corresponding member of the French Academy of Sciences.
[edit] External links
 |
This article about a French mathematician is a stub. You can help Wikipedia by expanding it. |
