Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Jean-Yves_Girard> ?p ?o }
- Jean-Yves_Girard abstract "Jean-Yves Girard (born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of Luminy.He obtained the CNRS Silver medal in 1983 and is a member of the French Academy of Sciences.".
- Jean-Yves_Girard almaMater Paris_Diderot_University.
- Jean-Yves_Girard almaMater École_normale_supérieure_de_lettres_et_sciences_humaines.
- Jean-Yves_Girard birthPlace Lyon.
- Jean-Yves_Girard doctoralAdvisor Jean-Louis_Krivine.
- Jean-Yves_Girard doctoralStudent George_Koletsos.
- Jean-Yves_Girard doctoralStudent Laurent_Regnier.
- Jean-Yves_Girard doctoralStudent Yves_Lafont.
- Jean-Yves_Girard wikiPageExternalLink ~girard.
- Jean-Yves_Girard wikiPageExternalLink index-en.php.
- Jean-Yves_Girard wikiPageExternalLink index.html.
- Jean-Yves_Girard wikiPageExternalLink Girard:Jean=Yves.html.
- Jean-Yves_Girard wikiPageID "579673".
- Jean-Yves_Girard wikiPageLength "3319".
- Jean-Yves_Girard wikiPageOutDegree "38".
- Jean-Yves_Girard wikiPageRevisionID "703212305".
- Jean-Yves_Girard wikiPageWikiLink Aix-Marseille_University_Faculty_of_Sciences.
- Jean-Yves_Girard wikiPageWikiLink CNRS_Gold_medal.
- Jean-Yves_Girard wikiPageWikiLink Cambridge_University_Press.
- Jean-Yves_Girard wikiPageWikiLink Category:1947_births.
- Jean-Yves_Girard wikiPageWikiLink Category:ENS_Fontenay-Saint-Cloud-Lyon_alumni.
- Jean-Yves_Girard wikiPageWikiLink Category:French_National_Centre_for_Scientific_Research.
- Jean-Yves_Girard wikiPageWikiLink Category:French_logicians.
- Jean-Yves_Girard wikiPageWikiLink Category:French_male_writers.
- Jean-Yves_Girard wikiPageWikiLink Category:French_mathematicians.
- Jean-Yves_Girard wikiPageWikiLink Category:French_philosophers.
- Jean-Yves_Girard wikiPageWikiLink Category:Living_people.
- Jean-Yves_Girard wikiPageWikiLink Category:Members_of_the_French_Academy_of_Sciences.
- Jean-Yves_Girard wikiPageWikiLink Category:Proof_theorists.
- Jean-Yves_Girard wikiPageWikiLink Centre_national_de_la_recherche_scientifique.
- Jean-Yves_Girard wikiPageWikiLink Dag_Prawitz.
- Jean-Yves_Girard wikiPageWikiLink Ernest_Nagel.
- Jean-Yves_Girard wikiPageWikiLink French_Academy_of_Sciences.
- Jean-Yves_Girard wikiPageWikiLink Geometry_of_interaction.
- Jean-Yves_Girard wikiPageWikiLink George_Koletsos.
- Jean-Yves_Girard wikiPageWikiLink James_R._Newman.
- Jean-Yves_Girard wikiPageWikiLink Jean-Louis_Krivine.
- Jean-Yves_Girard wikiPageWikiLink Kurt_Gödel.
- Jean-Yves_Girard wikiPageWikiLink Laurent_Regnier.
- Jean-Yves_Girard wikiPageWikiLink Linear_logic.
- Jean-Yves_Girard wikiPageWikiLink Logic.
- Jean-Yves_Girard wikiPageWikiLink Ludics.
- Jean-Yves_Girard wikiPageWikiLink Lyon.
- Jean-Yves_Girard wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Jean-Yves_Girard wikiPageWikiLink Paris_Diderot_University.
- Jean-Yves_Girard wikiPageWikiLink Proof_theory.
- Jean-Yves_Girard wikiPageWikiLink Second-order_logic.
- Jean-Yves_Girard wikiPageWikiLink System_F.
- Jean-Yves_Girard wikiPageWikiLink Takeutis_conjecture.
- Jean-Yves_Girard wikiPageWikiLink William_W._Tait.
- Jean-Yves_Girard wikiPageWikiLink Yves_Lafont.
- Jean-Yves_Girard wikiPageWikiLink École_normale_supérieure_de_lettres_et_sciences_humaines.
- Jean-Yves_Girard wikiPageWikiLinkText "Girard".
- Jean-Yves_Girard wikiPageWikiLinkText "Girard's".
- Jean-Yves_Girard wikiPageWikiLinkText "Girard, Jean-Yves".
- Jean-Yves_Girard wikiPageWikiLinkText "Jean-Yves Girard".
- Jean-Yves_Girard almaMater Paris_Diderot_University.
- Jean-Yves_Girard almaMater École_normale_supérieure_de_lettres_et_sciences_humaines.
- Jean-Yves_Girard birthPlace Lyon.
- Jean-Yves_Girard doctoralAdvisor Jean-Louis_Krivine.
- Jean-Yves_Girard doctoralStudents George_Koletsos.
- Jean-Yves_Girard doctoralStudents Laurent_Regnier.
- Jean-Yves_Girard doctoralStudents Yves_Lafont.
- Jean-Yves_Girard fields "Mathematics".
- Jean-Yves_Girard name "Jean-Yves Girard".
- Jean-Yves_Girard nationality "French".
- Jean-Yves_Girard wikiPageUsesTemplate Template:Authority_control.
- Jean-Yves_Girard wikiPageUsesTemplate Template:Birth_year_and_age.
- Jean-Yves_Girard wikiPageUsesTemplate Template:Cite_book.
- Jean-Yves_Girard wikiPageUsesTemplate Template:France-mathematician-stub.
- Jean-Yves_Girard wikiPageUsesTemplate Template:Infobox_scientist.
- Jean-Yves_Girard wikiPageUsesTemplate Template:MathGenealogy.
- Jean-Yves_Girard wikiPageUsesTemplate Template:Reflist.
- Jean-Yves_Girard wikiPageUsesTemplate Template:Use_dmy_dates.
- Jean-Yves_Girard workplaces Centre_national_de_la_recherche_scientifique.
- Jean-Yves_Girard subject Category:1947_births.
- Jean-Yves_Girard subject Category:ENS_Fontenay-Saint-Cloud-Lyon_alumni.
- Jean-Yves_Girard subject Category:French_National_Centre_for_Scientific_Research.
- Jean-Yves_Girard subject Category:French_logicians.
- Jean-Yves_Girard subject Category:French_male_writers.
- Jean-Yves_Girard subject Category:French_mathematicians.
- Jean-Yves_Girard subject Category:French_philosophers.
- Jean-Yves_Girard subject Category:Living_people.
- Jean-Yves_Girard subject Category:Members_of_the_French_Academy_of_Sciences.
- Jean-Yves_Girard subject Category:Proof_theorists.
- Jean-Yves_Girard hypernym Logician.
- Jean-Yves_Girard type Agent.
- Jean-Yves_Girard type List.
- Jean-Yves_Girard type Person.
- Jean-Yves_Girard type Scientist.
- Jean-Yves_Girard type Person.
- Jean-Yves_Girard type Agency.
- Jean-Yves_Girard type List.
- Jean-Yves_Girard type Mathematician.
- Jean-Yves_Girard type Member.
- Jean-Yves_Girard type Redirect.
- Jean-Yves_Girard type Scientist.
- Jean-Yves_Girard type Agent.
- Jean-Yves_Girard type NaturalPerson.
- Jean-Yves_Girard type Thing.