Henk Barendregt photograph

Henk Barendregt

Use attributes for filter !
Gender Male
Age 77
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
BooksLambda Calculus with Types
The Lambda Calculus: Its Syntax and Semantics
AffiliationsRadboud University
Nijmegen
InterestsLambda Calculus
Proof-Checking
Insight Meditation
Date of Reg.
Date of Upd.
ID1210031
Send edit request

Henk Barendregt Life story


Hendrik Pieter Barendregt is a Dutch logician, known for his work in lambda calculus and type theory.

Henk Barendregt Photos

Related Persons

Next Profile ❯