Лекция 17: От л-исчисления к языку программирования
defaultValue- Подробности
- Категория: Функциональное программирование от НОУ ИНТУИТ
Представление условных выражений, списков и натуральных чисел в лямбда исчислении.Вычислимость.Эквивалентность алгоритмических моделей
