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