Барендрегт, Хенк
Хенк Барендрегт | |
---|---|
нидерл. Hendrik Pieter Barendregt | |
![]() Барендрегт в Праге (2012) | |
Дата рождения | 18 декабря 1947[1] (76 лет) |
Место рождения | Амстердам |
Страна | |
Род деятельности | математик, специалист в области информатики, преподаватель университета |
Научная сфера | Основания математики, математическая логика |
Место работы | Университет Неймегена |
Альма-матер | Утрехтский университет |
Учёная степень | |
Научный руководитель | Дирк ван Дален[вд] и Георг Крайзель[вд] |
Известен как |
Исследователь λ-куба |
Награды и премии | Премия Спинозы (2002) |
Сайт | cs.ru.nl/~henk/ |
![]() |
Хенк Барендрегт (Хендрик Питер Барендрегт,
Биография
Родился в 1947 году в
После защиты диссертации в 1971—1972 годах работал исследователем в
Увлекается буддизмом и медитацией, публикует статьи о медитации в психологических и научно-популярных журналах[2].
Научная и редакционная работа
Результаты начала 1970-х годов относятся к нормальным формам в λ-исчислении и реализуемости в комбинаторной логике. Труды второй половины 1970-х годов посвящены вопросам моделей λ-исчисления. Известность получил в 1981 году после выхода монографии «Ламбда-исчисление. Его синтаксис и семантика», дважды переиздававшейся и переведённой на русский и китайский языки и отмечаемой как основополагающий труд по бестиповому λ-исчислению[3].
В 1980-е годы изучал вопросы
Член редколлегий журналов Information and Computation[англ.], Journal of Functional Programming[англ.], Journal of Logic and Computation[англ.], Logical Methods in Computer Science[англ.].
Награды и сообщества
Член
В 2002 году удостоен ордена Нидерландского льва (рыцарь ордена). В том же году получил Премию Спинозы — крупную премию от нидерландской правительственной Организации научных исследований (нидерл. Nederlandse Organisatie voor Wetenschappelijk Onderzoek).
Библиография
- Henk Barendregt. The Lambda Calculus. Its syntax and semantics (англ.). — Amsterdam: North Holland, 1981. — 622 p. — (Studies in Logic and the Foundations of Mathematics, vol. 103). — ISBN 0-444-87508-5. — фундаментальная монография по λ-исчислению, дважды переиздавалась (1984, 2012), переведена на китайский (1990) и русский (1985) языки:
- Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантикаМир, 1985. — 606 с. — 4800 экз. . — М.:
- Henk Barendregt, Wil Dekkers, Richard Statman. Lambda Calculus With Types (англ.). — Cambridge University Press, 2010. — 703 p. — (Perspectives in Logic). — ISBN 9780521766142. — объемлющее изложение вариантов типизированного λ-исчисления, различных расширений и приложений, задуманная как продолжение книги «Ламбда-исчисление. Его синтаксис и семантика». Переиздавалась в 2013 году.
Основные публикации
- Henk Barendregt. Combinatory logic and the axiom of choice (англ.) // Indagationes Mathematicae. — 1973. — Vol. 3, no. 76. — P. 203—221.
- Henk Barendregt. A global representation of the recursive functions in the λ-calculus (англ.) // Theoretical Computer Science[англ.]. — 1976. — No. 3.2. — P. 225—242.
- Барендрегт Х. Бестиповое λ-исчисление // Справочная книга по математической логике. / Под редакцией Дж. Барвайса. — М.: Наука, 1983. — Т. 4: Теория доказательств. — С. 278—318.
- Henk Barendregt, Adrian Rezus. Semantics for classical Automath and related systems (англ.) // Information and Control[англ.]. — 1983. — Vol. 59. — P. 127—147.
- Henk Barendregt. Lambda calculi with types (англ.) // S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum (editors) Handbook of Logic in Computer Science. — Oxford University Press, 1992. — Vol. 2: Background: Computational Structures. — P. 117–309. — ISBN 0-19-853761-1. — публикация, где впервые введён λ-куб.
Примечания
- ↑ http://www.cs.ru.nl/barendregt60/essays/preliminary/prelims.pdf
- ↑ Henk Barendregt. Curriculum vitae (англ.) (25 сентября 2011). Дата обращения: 9 марта 2014. Архивировано 9 марта 2014 года.
- ↑ Бенджамин Пирс. Типы в языках программирования / Пер. с англ.: Г. Бронников, А. Отт. — Добросвет, 2011. — С. 76. — 656 с. — ISBN 978-5-7913-0082-9.
Ссылки
- cs.ru.nl/~henk/ — официальный сайт факультета оснований математики и информатики Университета Неймегена — страница Хенка Барендрегта
Для улучшения этой статьи желательно:
|