Henk Barendregt Explained

Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam)^[1] is a Dutch logician, known for his work in lambda calculus and type theory.

Life and work

Barendregt studied mathematical logic at Utrecht University, obtaining his master's degree in 1968 and his PhD in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at Utrecht University.

Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also adjunct professor at Carnegie Mellon University, Pittsburgh, US. He has been a visiting scholar at Darmstadt, ETH Zürich, Siena, and Kyoto.

Barendregt was elected a member of Academia Europaea in 1992.^[2] In 1997 Barendregt was elected member of the Royal Netherlands Academy of Arts and Sciences.^[3] On 6 February 2003 Barendregt was awarded the Spinozapremie for 2002, the highest scientific award in the Netherlands.^[4] In 2002 he was knighted in the Orde van de Nederlandse Leeuw.

Barendregt received an honorary doctorate from Heriot-Watt University in 2015.^[5]

Selected publications

• Book: H.P. Barendregt . The Lambda Calculus - Its Syntax and Semantics . Amsterdam . North-Holland . Studies in Logic and the Foundations of Mathematics . 103 . 1984 . 0-444-87508-5. - See Errata
• Book: Y. Toyama . . H.P. Barendregt . Termination for the Direct Sum of left-Linear Term Rewriting Systems (Preliminary Draft) . 477–491 . 1989 . Nachum Dershowitz . Nachum Dershowitz . Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89 . . 355 . Springer. Rewriting Techniques and Applications .
• Book: H.P. Barendregt . Computing and Proving (invited lecture) . 2001 . Middeldorp, A. . Rewriting Techniques and Applications, 12th Int. Conf., RTA-01 . LNCS . 2051 . Springer.
• Book: H.P. Barendregt, W. Dekkers and R. Statman. Lambda Calculus with Types . Cambridge University Press . Perspectives in Logic . 2013 . 978-052-176-614-2.
• Book: H.P. Barendregt and G. Manzonetto . A Lambda Calculus Satellite . College Publications . Mathematical Logic and Foundations. 2022 . 978-1-84890-415-6.

External links

• Barendregt's homepage
• Author profile in the database zbMATH

Notes and References

1. Book: Erik Barendsen . Herman Geuvers . Venanzio Capretta . Milad Niqui . Reflections on Type Theory, Lambda Calculus, and the Mind - Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday . University Nijmegen . 978-90-9022446-6 . 2007 . Here: Preface, p.5
2. Web site: Hendrik Barendregt . https://web.archive.org/web/20190328092345/https://www.ae-info.org/ae/Member/Barendregt_Hendrik . Academia Europaea . 28 March 2019.
3. Web site: Henk Barendregt . https://web.archive.org/web/20200521080831/https://www.knaw.nl/en/members/members/3833 . Royal Netherlands Academy of Arts and Sciences . 21 May 2020.
4. Web site: NWO Spinoza Prize 2002 . Netherlands Organisation for Scientific Research . 5 September 2014 . 30 January 2016 . 3 March 2016 . https://web.archive.org/web/20160303231851/http://www.nwo.nl/en/research-and-results/programmes/spinoza+prize/spinoza+laureates/overview+by+year/2002 . dead .
5. Web site: Edinburgh Campus graduations - News Heriot-Watt University Edinburgh. www.hw.ac.uk. 2016-03-24.