Henk Barendregt

Henk Barendregt
Při své návštěvě Prahy v dubnu 2012
Narození	18. prosince 1947 (74 let) Amsterdam
Alma mater	Utrechtská univerzita
Povolání	matematik, informatik a vysokoškolský učitel
Zaměstnavatelé	Radbodova univerzita v Nijmegenu (od 1986) Radbodova univerzita v Nijmegenu
Ocenění	Spinozapremie (2002)
Web	www.cs.ru.nl/~henk/
multimediální obsah na Commons
Některá data mohou pocházet z datové položky.

Hendrik Pieter (Henk) Barendregt (* 18. prosince 1947) je nizozemský učitel meditace, vědec a profesor matematické logiky. Je vůdčí osobností výzkumného týmu, který na Radbodově univerzitě v Nijmegenu zkoumá vliv meditace vipassaná na lidskou mysl. Vede meditační zásedy v Nizozemsku, Německu, Itálii a Řecku. Je držitelem Spinozovy ceny z roku 2002, členem Academia Europaea a také rytířem Řádu nizozemského lva.

Dílo

• 1984. The Lambda Calculus, Its Syntax and Semantics, Vol. 103 in Studies in Logic and the Foundations of Mathematics. North-Holland. ISBN 0-444-87508-5. viz Errata^{[nedostupný zdroj]}.

Odkazy

Externí odkazy

• Obrázky, zvuky či videa k tématu Henk Barendregt na Wikimedia Commons
• Henk Barendregt's homepage