Jean-Yves Girard - Definition and Overview

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.

External links

• Girard's home page (http://iml.univ-mrs.fr/~girard/)
• Girard's bibliography (http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Girard:Jean=Yves.html) (via DBLP (http://www.informatik.uni-trier.de/~ley/db/index.html))

Example Usage of Jean-Yves