Henk Barendregt
Technology
12 hours ago
8
4
2
Author
Albert FloresHendrik 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. +more 103 in Studies in Logic and the Foundations of Mathematics. North-Holland. . viz [ftp://ftp. cs. kun. nl/pub/CompMath. Found/errata. lambda-calculus. pdf Errata].
Odkazy
Externí odkazy
[url=http://www.cs.ru.nl/~henk]Henk Barendregt's homepage[/url]
Kategorie:Narození 1947 Kategorie:Žijící lidé Kategorie:Nizozemští matematici Kategorie:Muži Kategorie:Narození 18. +more prosince Kategorie:Narození v Amsterdamu.