Jean-Yves Girard (born 1947 in Lyon) 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.
Alumnus of the École normale supérieure de Saint-Cloud, Girard is a research director of CNRS in Marseille and a corresponding member of the French Academy of Sciences.
External links
 |
This article about a French mathematician is a stub. You can help Wikipedia by expanding it. |
No comments have been added.
