Henk Barendregt

Henk Barendregt (1947) is Emeritus professor of Foundations of mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands. He studied Mathematical Logic in 1971 at Utrecht University, where he received his PhD cum laude in 1971 under Dirk van Dalen and Georg Kreisel. His best known works in logic are The Lambda Calculus, Its Syntax and Semantics (translated into Russian and Chinese), Elsevier 1981, with Wil Dekkers and Richard Statman Lambda Calculus with Types,  Cambridge University Press 2013, and with Giulio Manzonetto A Lambda Caculus Satellite, College Publications 2022.


Henk Barendregt (foto March 2023 by John Devitt) studied from 1972 to 1979 Zen meditation with Kobun Chino Roshi (1938-2002) in California, and from 1977 to 2006 Vipasssana meditation with Phra Mettavihari (1942-2007) in the Netherlands. In 2006 he was qualified with 13 other senior students to teach vipassana in the style of Mahasi Sayadaw.

Henk Barendregt has received substantial research funds from Nijmegen University (1997), the Spinoza award in 2002 from the Dutch National Science Foundation (NWO), and became in 2012 distinguished Lorentz fellow of the Netherlands Institute of Advanced Studies and Leiden University. Given funds enabeled him to direct an interdisciplinary research group towards understanding insight meditation and its effects in neuropsychological terms, see Dhamma pages. Barendregt, Knight in the Order of the Nederlandse Leeuw (Dutch Lion), holds memberships of the Academia Europaea, the Koninklijke Hollandsche Maatschappij der Wetenschappen, and the Royal Dutch Academy of Sciences.

Dhamma talks for Contemplative Science Network of the European Buddhist Union

Peacefully realizing (de)reification and (non-)self (13.05.2023, online)

Hypotheses concerning development of concentration & insight (19.11.2022, online)

Dhamma talk for Consciousness, Mindfulness & Compassion (CMC)

Developping temporary and sustainable resilience (22.05.2021, Rome, Italy)