 |
|
| ||||||||||||||||||||||||||
|
|
| ||||||||||||||||||||||||||
|
|
|
|
|
| ||||||||
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.
|
||||
| View Live Article | This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License | |
||
