Jean-Yves Girard Guide, Meaning , Facts, Information and Description
Jean-Yves Girard is a French mathematician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; and the invention of linear logic.Girard is a research director of CNRS in Marseilles and a corresponding member of the French Academy of Sciences.