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




04


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



Содержание