In the Vinony graph
Within Vinony's link graph, Henk Barendregt is referenced by 43 other articles, and connects out to Amsterdam, International Standard Book Number and Stanford University.
It is catalogued under topics including 1947 births, Academic staff of Radboud University Nijmegen and Academic staff of Technische Universität Darmstadt.
Its subject is documented across 8 Wikipedia language editions.
Person · Open Library
- Works
- 4
Top works
- Lambda Calculus Satellite
- Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
- Lambda Calculus with Types
- Types for Proofs and Programs
via Open Library + Wikidata
Official website
Homepage Henk Barendregt
cs.ru.nl →Link to the official site · 3,424 chars · not written by Vinony
Wikidata facts
- Instance of
- human
- Gender
- male
- Citizenship
- Kingdom of the Netherlands
- Place of birth
- Amsterdam
- Occupation
- university teacher
- Educated at
- Utrecht University
- Employer
- Utrecht University
- Languages spoken
- English language
- Award
- Spinoza Prize
- Academic degree
- Doctor of Philosophy
- Doctoral advisor
- Georg Kreisel
- Field of work
- foundations of mathematics
- Official website
- www.cs.ru.nl/~henk
- Image
- Henk Barendregt at the Old Jewish Cemetery in Prague.jpg
Show 4 more facts
- date of birth
- 1947-01-01
- member of
- Academia Europaea
- Commons category
- Henk Barendregt
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Available in 8 languages
via Wikidata sitelinks · CC0
Connections
Amsterdam
Entity
International Standard Book Number
Entity
Stanford University
Entity
mathematical logic
Entity
ETH Zurich
Entity
Utrecht University
Entity
Carnegie Mellon University
Entity
lambda calculus
Entity
Technical University of Darmstadt
Entity
Academia Europaea
Entity
Radboud University
Entity
Heriot-Watt University
Entity
Royal Netherlands Academy of Arts and Sciences
Entity
type theory
Entity
Latin honors
Entity
Order of the Netherlands Lion
Entity
zbMATH Open
Entity
Spinoza Prize
Entity
Georg Kreisel
Entity
Dirk van Dalen
Entity
Categories
1947 birthsAcademic staff of Radboud University NijmegenAcademic staff of Technische Universität DarmstadtDutch computer scientistsLiving peopleMathematical logiciansMembers of Academia EuropaeaMembers of the Royal Netherlands Academy of Arts and SciencesScientists from AmsterdamSpinoza Prize winnersUtrecht University alumni