Барендрегт, Хенк: различия между версиями

3 байта добавлено ,  1 год назад
Fixed a typo
(Опеяатка: Барендегт -> Барендрегт)
Метки: правка с мобильного устройства правка из мобильной версии
(Fixed a typo)
В 1980-е годы изучал вопросы [[Автоматическое доказательство|автоматического доказательства]] и взаимосвязи [[Математическое доказательство|математического доказательства]] с λ-исчислением и теорией типов (впоследствии концептуализированные как [[изоморфизм Карри — Ховарда]]). В 1986 году после перехода в Университет Неймегена организовал группу, занимающуюся вопросами формализации математики, идейно продолжающую работы, которые велись в рамках проекта {{iw|Automath}} [[Де Брёйн, Николас|Николаса де Брёйна]]. Во второй половине 1980-х изучал типизированные варианты λ-исчисления, с особым вниманием к взаимосвязям между ними; в [[1991 год в науке|1991 году]] предложил [[λ-куб]] — графическую интерпретацию восьми различных типов типизированного λ-исчисления, снискавшую популярность как в среде логиков, так и среди специалистов по основаниям информатики и [[Язык программирования|языкам программирования]].
 
Член редколлегий журналов {{iw|Information and Computation}}, {{iw|Journal of Functional PorgrammingProgramming|||}}, {{iw|Journal of Logic and Computation}}, {{iw|Logical Methods in Computer Science}}.
 
== Награды и сообщества ==
Анонимный участник