Jean-Yves Girard

Jean-Yves Girard

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

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


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Jean-yves girard — Pour les articles homonymes, voir Girard. Né à Lyon en 1947, ancien élève de l École normale d instituteurs de Lyon (1962), ancien élève de l École normale supérieure de Saint Cloud (sciences) (1966), Jean Yves Girard est un logicien et… …   Wikipédia en Français

  • Jean Yves Girard — Pour les articles homonymes, voir Girard. Né à Lyon en 1947, ancien élève de l École normale d instituteurs de Lyon (1962), ancien élève de l École normale supérieure de Saint Cloud (sciences) (1966), Jean Yves Girard est un logicien et… …   Wikipédia en Français

  • Jean-Yves Girard — Pour les articles homonymes, voir Girard. Jean Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS au département de logique de la programmation de l institut de mathématiques de Luminy.… …   Wikipédia en Français

  • Jean-Yves Bilien — est un acteur, réalisateur et producteur français de films, principalement documentaires[1]. Sommaire 1 Biographie 2 Filmographie 3 …   Wikipédia en Français

  • Jean-Pierre Girard (sujet psi) — Pour les articles homonymes, voir Jean Pierre Girard. Jean Pierre Girard est selon lui un sujet psi, un ancien illusionniste amateur et auteur français qui a acquis une certaine notoriété dans les années 1970 en raison de ses démonstrations… …   Wikipédia en Français

  • Girard — may refer to:PlacesIn the United States: *Girard, Alabama *Girard, Georgia *Girard, Illinois *Girard, Kansas *Girard, Michigan *Girard, Minnesota *Girard, Ohio *Girard, Pennsylvania *Girard, Texas *Girard Township, Macoupin County, Illinois… …   Wikipedia

  • Jean Largeault — (1931 1995) était un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste. Il était l époux d Anne Fagot Largeault. Il a défendu la logique intuitionniste (mot qu il écrivait… …   Wikipédia en Français

  • Girard — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Girard », sur le Wiktionnaire (dictionnaire universel) Girard est un nom propre qui peut faire… …   Wikipédia en Français

  • Yves (given name) — Infobox Given Name Revised name = Yves imagesize= caption= pronunciation= /iːv/ gender = Male meaning = yew region = Francophone countries origin = related names = Erwan, Evette, Ives, Ivet, Iveta, Ivette, Ivo, Iwo, Yvette, Yvo footnotes = Yves,… …   Wikipedia

  • Jean-luc bideau — est un acteur suisse né le 1er octobre 1940 à Genève. Sommaire 1 Biographie 2 Filmographie 3 Théâtre …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”