Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Jean-Yves_Girard> ?p ?o. }
Showing items 1 to 92 of
92
with 100 items per page.
- Jean-Yves_Girard abstract "Jean-Yves Girard (born 1947) 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. More importantly, he also invented the Mustard Watch, writing under the pseudonym "Yann-Joachim Ringard".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.".
- Jean-Yves_Girard almaMater %C3%89cole_normale_sup%C3%A9rieure_de_lettres_et_sciences_humaines.
- Jean-Yves_Girard almaMater Paris_Diderot_University.
- Jean-Yves_Girard birthDate "1947".
- Jean-Yves_Girard birthPlace Lyon.
- Jean-Yves_Girard birthYear "1947".
- 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 viafId "84575083".
- 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 wikiPageRevisionID "601879997".
- Jean-Yves_Girard almaMater Paris_Diderot_University.
- Jean-Yves_Girard almaMater École_normale_supérieure_de_Saint-Cloud.
- Jean-Yves_Girard birthPlace Lyon.
- Jean-Yves_Girard dateOfBirth "1947".
- 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 hasPhotoCollection Jean-Yves_Girard.
- Jean-Yves_Girard name "Girard, Jean Yves".
- Jean-Yves_Girard name "Jean-Yves Girard".
- Jean-Yves_Girard nationality "French".
- Jean-Yves_Girard placeOfBirth Lyon.
- Jean-Yves_Girard shortDescription "French mathematician".
- Jean-Yves_Girard workplaces Centre_national_de_la_recherche_scientifique.
- Jean-Yves_Girard description "French mathematician".
- Jean-Yves_Girard description "French mathematician".
- 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_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 type CausalAgent100007347.
- Jean-Yves_Girard type Expert109617867.
- Jean-Yves_Girard type FrenchLogicians.
- Jean-Yves_Girard type FrenchMathematicians.
- Jean-Yves_Girard type LivingPeople.
- Jean-Yves_Girard type LivingThing100004258.
- Jean-Yves_Girard type Logician110269785.
- Jean-Yves_Girard type Logicians.
- Jean-Yves_Girard type Mathematician110301261.
- Jean-Yves_Girard type Object100002684.
- Jean-Yves_Girard type Organism100004475.
- Jean-Yves_Girard type Person100007846.
- Jean-Yves_Girard type PhysicalEntity100001930.
- Jean-Yves_Girard type Scientist110560637.
- Jean-Yves_Girard type Whole100003553.
- Jean-Yves_Girard type YagoLegalActor.
- Jean-Yves_Girard type YagoLegalActorGeo.
- Jean-Yves_Girard type Agent.
- Jean-Yves_Girard type Person.
- Jean-Yves_Girard type Scientist.
- Jean-Yves_Girard type Person.
- Jean-Yves_Girard type Q215627.
- Jean-Yves_Girard type Q5.
- Jean-Yves_Girard type Agent.
- Jean-Yves_Girard type NaturalPerson.
- Jean-Yves_Girard type Thing.
- Jean-Yves_Girard type Person.
- Jean-Yves_Girard comment "Jean-Yves Girard (born 1947) 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.".
- Jean-Yves_Girard label "Jean-Yves Girard".
- Jean-Yves_Girard label "Jean-Yves Girard".
- Jean-Yves_Girard label "Jean-Yves Girard".
- Jean-Yves_Girard label "Jean-Yves Girard".
- Jean-Yves_Girard label "ジャン=イヴ・ジラール".
- Jean-Yves_Girard sameAs Jean-Yves_Girard.
- Jean-Yves_Girard sameAs Jean-Yves_Girard.
- Jean-Yves_Girard sameAs ジャン=イヴ・ジラール.
- Jean-Yves_Girard sameAs Jean-Yves_Girard.
- Jean-Yves_Girard sameAs m.02s1g0.
- Jean-Yves_Girard sameAs Q3087821.
- Jean-Yves_Girard sameAs Q3087821.
- Jean-Yves_Girard sameAs Jean-Yves_Girard.
- Jean-Yves_Girard wasDerivedFrom Jean-Yves_Girard?oldid=601879997.
- Jean-Yves_Girard givenName "Jean Yves".
- Jean-Yves_Girard isPrimaryTopicOf Jean-Yves_Girard.
- Jean-Yves_Girard name "Girard, Jean Yves".
- Jean-Yves_Girard name "Jean Yves Girard".
- Jean-Yves_Girard name "Jean-Yves Girard".
- Jean-Yves_Girard surname "Girard".