Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00892026n
Noun Named Entity
JA
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
人間
ACADEMIC DEGREE
Ph.D.
AWARD RECEIVED
スピノザ賞
COUNTRY OF CITIZENSHIP
オランダ王国
DESCRIBED BY SOURCE
Obalky knih.cz
DOCTORAL ADVISOR
ゲオルク・クライゼル
Dirk van Dalen
DOCTORAL STUDENT
EN
Frank'a Waaldijk
EN
Bart Jacobs
EN
Mariangiola Dezani-Ciancaglini
EDUCATED AT
ユトレヒト大学
EMPLOYER
ラドバウド大学
FAMILY NAME
Barendregt
FIELD OF WORK
数理論理学
数学基礎論
GIVEN NAME
ヘンク
MEMBER OF
オランダ王立芸術科学アカデミー
欧州アカデミー
OCCUPATION
計算機科学者
数学者
大学教員
PLACE OF BIRTH
アムステルダム
SEX OR GENDER
男性
BabelNet
JA
Henk Barendregt
Wikidata
JA
ヘンク・バレンドレクト

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