Henk Barendregt
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 76 |
| Date of birth | December 18,1947 |
| Zodiac sign | Sagittarius |
| Born | Amsterdam |
| Netherlands | |
| Citations | 13,290 |
| Notable student | Jan Willem Klop |
| Mariangiola Dezani-Ciancaglini | |
| Academic advisors | Dirk van Dalen |
| Georg Kreisel | |
| Job | Logician |
| Education | Utrecht University |
| Books | Lambda Calculus with Types |
| The Lambda Calculus: Its Syntax and Semantics | |
| Affiliations | Radboud University |
| Nijmegen | |
| Interests | Lambda Calculus |
| Proof-Checking | |
| Insight Meditation | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1210031 |
Henk Barendregt Life story
Hendrik Pieter Barendregt is a Dutch logician, known for his work in lambda calculus and type theory.
Henk Barendregt Photos
