Jean-Yves Girard - CaLiGraph

Property	Value
rdf:type	Proof theorist owl:NamedIndividual 1947 birth CNRS scientist French male non-fiction writer French mathematician International Congresses of Mathematicians Plenary and Invited Speakers Living person Member of the French Academy of Sciences ENS Fontenay-Saint-Cloud-Lyon alumnus French philosopher French logician
rdfs:label	Jean-Yves Girard
owl:sameAs	dbr:Jean-Yves_Girard
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:French_philosophers http://en.wikipedia.org/wiki/Category:French_philosophers_by_century http://en.wikipedia.org/wiki/List_of_French_philosophers http://en.wikipedia.org/wiki/Category:ENS_Fontenay-Saint-Cloud-Lyon_alumni http://en.wikipedia.org/wiki/Lochaber-Partie-Ouest,_Quebec http://en.wikipedia.org/wiki/Apremont,_Ain http://en.wikipedia.org/wiki/Aix-Marseille_University http://en.wikipedia.org/wiki/Category:1947_births http://en.wikipedia.org/wiki/Category:CNRS_scientists http://en.wikipedia.org/wiki/Category:French_male_non-fiction_writers http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Members_of_the_French_Academy_of_Sciences http://en.wikipedia.org/wiki/Index_of_World_War_II_articles_(J) http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q) http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_logicians http://en.wikipedia.org/wiki/%C3%89lections_Qu%C3%A9bec http://en.wikipedia.org/wiki/Category:French_mathematicians http://en.wikipedia.org/wiki/Category:French_mathematicians_by_century http://en.wikipedia.org/wiki/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers http://en.wikipedia.org/wiki/Poncelet_Prize http://en.wikipedia.org/wiki/Girard_(surname) http://en.wikipedia.org/wiki/Category:French_logicians http://en.wikipedia.org/wiki/Category:Proof_theorists http://en.wikipedia.org/wiki/Timeline_of_category_theory_and_related_mathematics http://en.wikipedia.org/wiki/Paris_Mus%C3%A9es
skos:prefLabel	Jean-Yves Girard
skos:altLabel	Girard Girard's Girard, J.-Y. J.-Y. Girard Jean-Pierre Girard
clgo:academicDiscipline	Logic
clgo:almaMater	Paris Diderot University École normale supérieure de lettres et sciences humaines
clgo:birthPlace	Lyon
clgo:birthYear	1947
clgo:institution	French National Centre for Scientific Research

About: clgr:Jean-Yves_Girard