Хенк Барендрегт — Википедия
Хенк Барендрегт Биография Хенка Барендрегта Голландский логик, известен работами в лямбда-исчислении и теории типов. Получил образование в Утрехтском университете и […]
1947 births, 1947 года рождения, Academic staff of Radboud University Nijmegen, Academic staff of Technische Universität Darmstadt, Dutch computer scientists, Living people, Mathematical logicians, Members of Academia Europaea, Members of the Royal Netherlands Academy of Arts and Sciences, Scientists from Amsterdam, Spinoza Prize winners, Utrecht University alumni, Академический персонал Технического университета Дармштадта, Академический состав Университета Радбауд в Неймегене, Выпускники Утрехтского университета, Голландские ученые-компьютерщики, Живые люди, Лауреаты премии Спинозы, Математические логики, Ученые из Амстердама, Члены Европейской академии искусств, Члены Королевской Нидерландской академии искусств и наук