Henk Barendregt - CaLiGraph

Property	Value
rdf:type	Scientist from Amsterdam owl:NamedIndividual 1947 birth Living person Member of Academia Europaea Member of the Royal Netherlands Academy of Arts and Sciences Spinoza Prize winner Dutch computer scientist Mathematical logician Utrecht University alumnus
rdfs:label	Henk Barendregt
owl:sameAs	dbr:Henk_Barendregt
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Spinoza_Prize_winners http://en.wikipedia.org/wiki/Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences_(B) http://en.wikipedia.org/wiki/Category:1947_births http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H) http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_logicians http://en.wikipedia.org/wiki/Category:Members_of_Academia_Europaea http://en.wikipedia.org/wiki/Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences http://en.wikipedia.org/wiki/Hendrik_(given_name) http://en.wikipedia.org/wiki/Category:Scientists_from_Amsterdam http://en.wikipedia.org/wiki/Category:Mathematical_logicians http://en.wikipedia.org/wiki/Category:Dutch_computer_scientists http://en.wikipedia.org/wiki/Category:Utrecht_University_alumni
skos:prefLabel	Henk Barendregt
skos:altLabel	Barendregt Barendregt's Barendregt, Hendrik Pieter Hendrik Pieter Barendregt
clgo:birthPlace	Amsterdam
clgo:birthYear	1947
clgo:nationality	Netherlands
is clgo:doctoralAdvisor of	Marieke Huisman Jan Willem Klop
is clgo:doctoralStudent of	Georg Kreisel

About: clgr:Henk_Barendregt