Введение в теорию программирования. Функциональный подход

Введение в теорию программирования. Функциональный подход

Ламбда-исчисление как формализация языка функционального программирования
Содержание раздела