Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00892026n
Noun Named Entity
SYL
Henk Barendregt
EN
Hendrik Pieter Barendregt is a Dutch logician, known for his work in lambda calculus and type theory. Wikipedia
Relations
Sources
IS A
Homo sapiens
ACADEMIC DEGREE
EN
Doctor of Philosophy
AWARD RECEIVED
EN
Spinoza Prize
COUNTRY OF CITIZENSHIP
EN
Kingdom of The Netherlands
DESCRIBED BY SOURCE
EN
Obalky knih.cz
DOCTORAL ADVISOR
Georg Kreisel
Dirk van Dalen
DOCTORAL STUDENT
EN
Frank'a Waaldijk
EN
Bart Jacobs
EN
Mariangiola Dezani-Ciancaglini
EDUCATED AT
EN
Utrecht University
EMPLOYER
EN
Radboud University Nijmegen
FAMILY NAME
EN
Barendregt
FIELD OF WORK
EN
symbolic logic
EN
foundations of mathematics
GIVEN NAME
EN
Henk
MEMBER OF
EN
Royal Netherlands Academy of Arts and Sciences
EN
Academia Europaea
OCCUPATION
EN
computer scientist
EN
mathematician
EN
professeur des universités
PLACE OF BIRTH
Amsterdam
SEX OR GENDER
EN
male
BabelNet
SYL
Henk Barendregt

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License