Jean-Yves Girard

Embed this Topic
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.
Read article at Wikipedia

Date of birth:

  • 1947 (age 62 years)

Profession:

Country of nationality:

Person

Gender:

top ↑

Facts from the Community

From the Proofs are Programs base

Contributions:

Key concept Date Why this is interesting Key artifacts
  • 1972
  • Girard showed that the second-order propositional logic can be projected into the second-order polymorphic lambda calculus with quantifiers over type variables.
top ↑

These people have edited this topic:

  • warren
  • tristan Metaweb Staff
Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Freebase Attribution

Freebase data is free for use under the CC-BY license.

The original description for Jean-Yves Girard was automatically generated from Wikipedia.org licensed under the GNU Free Documentation License.
[1]
Learn more about Freebase licensing and attribution