Henk Barendregt

URI: https://gptkb.org/entity/Henk_Barendregt
GPTKB entity
Statements (15)
Predicate Object
gptkbp:instance_of gptkb:Mathematician
gptkb:Computer_Scientist
gptkbp:academic_advisor gptkb:Henk_Barendregt
gptkbp:alma_mater gptkb:University_of_Amsterdam
gptkbp:awards gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:birth_date 1954-03-05
gptkbp:field gptkb:Mathematics
Computer Science
https://www.w3.org/2000/01/rdf-schema#label Henk Barendregt
gptkbp:influenced Type Theory
gptkbp:influenced_by gptkb:Alonzo_Church
gptkbp:known_for Lambda Calculus
gptkbp:nationality gptkb:Dutch
gptkbp:bfsParent gptkb:Andrew_S._Tanenbaum
gptkbp:bfsLayer 4