Лекция 17: От л-исчисления к языку программирования

Подробности

Категория: Функциональное программирование от НОУ ИНТУИТ

Представление условных выражений, списков и натуральных чисел в лямбда исчислении.Вычислимость.Эквивалентность алгоритмических моделей