ヘンク・バレンドレヒト

ヘンドリック・ピーター・バレンドレクト（1947年12月18日、アムステルダム生まれ）^[1]は、ラムダ計算と型理論の研究で知られるオランダの論理学者である。

人生と仕事

バレンドレトは1986年よりナイメーヘン・ラドバウド大学で教鞭を執り、現在は同大学で数学とコンピュータサイエンスの基礎講座の教授を務めています。彼の研究グループは構成的インタラクティブ数学に取り組んでいます。また、米国ピッツバーグのカーネギーメロン大学の非常勤教授も務めています。ダルムシュタット、チューリッヒ工科大学、シエナ、京都の客員研究員を務めたこともあります。

バレンドレヒトは1992年にヨーロッパアカデミーの会員に選出された。 ^[2] 1997年にバレンドレヒトはオランダ王立芸術科学アカデミーの会員に選出された。^{[3] 2003年2月6日、バレンドレヒトは2002年の}スピノザ賞を授与された。これはオランダ最高の科学賞である。 ^{[4] 2002年に}オランダ勲章ナイトに叙せられた。

バレンドレヒトは2015年にヘリオット・ワット大学から名誉博士号を授与された。^[5]

HP Barendregt (1984)。ラムダ計算 - その構文と意味論。論理学と数学の基礎研究。第 103 巻。アムステルダム: 北ホラント。ISBN 0-444-87508-5。— 正誤表を参照
Y. Toyama、JW Klop、H.P. Barendregt (1989)。「左線形項書き換えシステムの直和の停止性 (予備草案)」。Nachum Dershowitz (編)。書き換え技術とアプリケーション、第 3 回国際会議、RTA-89。LNCS。第 355 巻。Springer。pp. 477–491 。
HP Barendregt (2001)。「コンピューティングと証明 (招待講演)」。Middeldorp, A. (編)。書き換えテクニックとアプリケーション、第 12 回国際会議、RTA-01。LNCS。第 2051 巻。Springer。
HP Barendregt、W. Dekkers、R. Statman (2013)。型を使用したラムダ計算。論理における視点。ケンブリッジ大学出版局。ISBN 978-052-176-614-2。
HP Barendregt および G. Manzonetto (2022)。ラムダ計算サテライト。数学的論理と基礎。大学出版。ISBN 978-1-84890-415-6。

^ Erik Barendsen、Herman Geuvers、Venanzio Capretta、Milad Niqui 編 (2007)。型理論、ラムダ計算、そして心についての考察 - Henk Barendregt の 60 歳の誕生日に捧げるエッセイ。ナイメーヘン大学。ISBN 978-90-9022446-6。こちら：序文、p.5
^ “Hendrik Barendregt”. Academia Europaea. 2019年3月28日時点のオリジナルよりアーカイブ。
^ “Henk Barendregt”. オランダ王立芸術科学アカデミー. 2020年5月21日時点のオリジナルよりアーカイブ。
^ 「NWO Spinoza Prize 2002」。オランダ科学研究機構。2014年9月5日。2016年3月3日時点のオリジナルよりアーカイブ。2016年1月30日閲覧。
^ 「エディンバラキャンパス卒業式 - ニュース | ヘリオットワット大学エディンバラ校」www.hw.ac.uk . 2016年3月24日閲覧。