Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Henk_Barendregt> ?p ?o. }
Showing items 1 to 72 of
72
with 100 items per page.
- Henk_Barendregt abstract "Hendrik Pieter (Henk) Barendregt (born 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at Utrecht University.Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also Adjunct Professor at Carnegie Mellon University, Pittsburgh, USA. He has been a visiting scholar at Darmstadt, ETH Zürich, Siena, and Kyoto.On February 6, 2003, Barendregt was awarded the Spinozapremie for 2002, the highest scientific award in the Netherlands. In 2002, he was knighted in the Orde van de Nederlandse Leeuw.".
- Henk_Barendregt birthDate "1947".
- Henk_Barendregt birthYear "1947".
- Henk_Barendregt thumbnail Henk_Barendregt_at_the_Old_Jewish_Cemetery_in_Prague.jpg?width=300.
- Henk_Barendregt viafId "109291023".
- Henk_Barendregt wikiPageExternalLink errata.lambda-calculus.pdf.
- Henk_Barendregt wikiPageExternalLink ~henk.
- Henk_Barendregt wikiPageID "1651213".
- Henk_Barendregt wikiPageRevisionID "585278517".
- Henk_Barendregt dateOfBirth "1947".
- Henk_Barendregt hasPhotoCollection Henk_Barendregt.
- Henk_Barendregt name "Barendregt, Henk".
- Henk_Barendregt shortDescription "Dutch computer scientist".
- Henk_Barendregt description "Dutch computer scientist".
- Henk_Barendregt description "Dutch computer scientist".
- Henk_Barendregt subject Category:1947_births.
- Henk_Barendregt subject Category:Dutch_computer_scientists.
- Henk_Barendregt subject Category:Living_people.
- Henk_Barendregt subject Category:Mathematical_logicians.
- Henk_Barendregt subject Category:People_from_Amsterdam.
- Henk_Barendregt subject Category:Radboud_University_Nijmegen_faculty.
- Henk_Barendregt subject Category:Utrecht_University_alumni.
- Henk_Barendregt type Alumnus109786338.
- Henk_Barendregt type CausalAgent100007347.
- Henk_Barendregt type ComputerScientist109951070.
- Henk_Barendregt type ComputerUser109951274.
- Henk_Barendregt type DutchComputerScientists.
- Henk_Barendregt type Expert109617867.
- Henk_Barendregt type Intellectual109621545.
- Henk_Barendregt type LivingPeople.
- Henk_Barendregt type LivingThing100004258.
- Henk_Barendregt type Logician110269785.
- Henk_Barendregt type MathematicalLogicians.
- Henk_Barendregt type Object100002684.
- Henk_Barendregt type Organism100004475.
- Henk_Barendregt type PeopleFromAmsterdam.
- Henk_Barendregt type Person100007846.
- Henk_Barendregt type PhysicalEntity100001930.
- Henk_Barendregt type Scholar110557854.
- Henk_Barendregt type Scientist110560637.
- Henk_Barendregt type UtrechtUniversityAlumni.
- Henk_Barendregt type Whole100003553.
- Henk_Barendregt type YagoLegalActor.
- Henk_Barendregt type YagoLegalActorGeo.
- Henk_Barendregt type Agent.
- Henk_Barendregt type Person.
- Henk_Barendregt type Person.
- Henk_Barendregt type Q215627.
- Henk_Barendregt type Q5.
- Henk_Barendregt type Agent.
- Henk_Barendregt type NaturalPerson.
- Henk_Barendregt type Thing.
- Henk_Barendregt type Person.
- Henk_Barendregt comment "Hendrik Pieter (Henk) Barendregt (born 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel.".
- Henk_Barendregt label "Henk Barendregt".
- Henk_Barendregt label "Henk Barendregt".
- Henk_Barendregt label "Henk Barendregt".
- Henk_Barendregt label "Барендрегт, Хенк".
- Henk_Barendregt sameAs Henk_Barendregt.
- Henk_Barendregt sameAs Henk_Barendregt.
- Henk_Barendregt sameAs Henk_Barendregt.
- Henk_Barendregt sameAs m.05kqrh.
- Henk_Barendregt sameAs Q1847646.
- Henk_Barendregt sameAs Q1847646.
- Henk_Barendregt sameAs Henk_Barendregt.
- Henk_Barendregt wasDerivedFrom Henk_Barendregt?oldid=585278517.
- Henk_Barendregt depiction Henk_Barendregt_at_the_Old_Jewish_Cemetery_in_Prague.jpg.
- Henk_Barendregt givenName "Henk".
- Henk_Barendregt isPrimaryTopicOf Henk_Barendregt.
- Henk_Barendregt name "Barendregt, Henk".
- Henk_Barendregt name "Henk Barendregt".
- Henk_Barendregt surname "Barendregt".