Академический персонал Технического университета Дармштадта

Хенк Барендрегт Биография Хенка Барендрегта Голландский логик, известен работами в лямбда-исчислении и теории типов.  Получил образование в Утрехтском университете и […]