Хенк Барендрегт - Henk Barendregt

Хенк Барендрегт во время своего визита в Прагу в апреле 2012 г.

Хендрик Питер (Хенк) Барендрегт (родился 18 декабря 1947 г., Амстердам )[1] голландец логик, известный своей работой в лямбда-исчисление и теория типов.

Жизнь и работа

Барендрегт учился математическая логика в Утрехтский университет, получив степень магистра в 1968 году и докторскую степень в 1971 году, оба с отличием, под Дирк ван Дален и Георг Крайзель. После постдокторской должности в Стэндфордский Университет, он преподавал в Утрехтский университет.

С 1986 года Барендрегт преподает в Radboud University Nijmegen, где сейчас заведует кафедрой основ математики и информатики. Его исследовательская группа работает над конструктивной интерактивной математикой. Он также является адъюнкт-профессором в Университет Карнеги Меллон, Питтсбург, США. Он был приглашенным исследователем в Дармштадт, ETH Zürich, Сиена и Киото.

Барендрегт был избран членом Academia Europaea в 1992 г.[2] В 1997 году Барендрегт был избран членом Королевская Нидерландская академия искусств и наук.[3] 6 февраля 2003 года Барендрегт был награжден Спинозапремие за 2002 год - высшая научная награда Нидерландов.[4] В 2002 г. был посвящен в рыцари Orde van de Nederlandse Leeuw.

Барендрегт получил звание почетного доктора Университет Хериот-Ватт в 2015 году.[5]

Избранные публикации

  • H.P. Барендрегт (1985). Лямбда-исчисление - его синтаксис и семантика. Исследования по логике и основам математики. 103. Амстердам: Северная Голландия. ISBN  0-444-87508-5. - Увидеть Опечатки
  • Тояма, Ю. и Клоп, Дж. и Барендрегт, Х. (1989). «Прекращение действия прямой суммы леволинейных систем перезаписи терминов (предварительный проект)». В Нахум Дершовиц (ред.). Методы перезаписи и приложения, 3-е Int. Конф., РТА-89. LNCS. 355. Springer. С. 477–491.CS1 maint: использует параметр авторов (ссылка на сайт)
  • Барендрегт, Х. (2001). «Вычислительная техника и доказательства (приглашенная лекция)». В Миддельдорпе, А. (ред.). Методы переписывания и приложения, 12-е межд. Конф., РТА-01. LNCS. 2051. Springer.
  • 2013. Лямбда-исчисление с типами, часть Перспективы в логике. Издательство Кембриджского университета. ISBN  9780521766142

использованная литература

  1. ^ Эрик Барендсен; Герман Гёверс; Венанцио Капретта; Милад Ники, ред. (2007). Размышления о теории типов, лямбда-исчислении и разуме - очерки, посвященные Хенку Барендрегту по случаю его 60-летия. Университет Неймегена. ISBN  978-90-9022446-6. Вот: Предисловие, стр.5
  2. ^ "Хендрик Барендрегт". Academia Europaea. Архивировано из оригинал 28 марта 2019 г.
  3. ^ "Хенк Барендрегт". Королевская Нидерландская академия искусств и наук. Архивировано из оригинал 21 мая 2020 г.
  4. ^ «Премия НВО Спинозы 2002». Нидерландская организация научных исследований. 5 сентября 2014 г.. Получено 30 января 2016.
  5. ^ "Выпускные в Эдинбургском кампусе - Новости | Университет Хериот-Ватт Эдинбург". www.hw.ac.uk. Получено 2016-03-24.

внешние ссылки