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