Основы функционального программирования/Формализация ФП на основе lambda-исчисления: различия между версиями

м
Робот: исправление двойного перенаправления
Основы функционального программирования/Формализация ФП на основе lambda-исчисления» переименована в «[[Основы функционального программ)
 
м (Робот: исправление двойного перенаправления)
#REDIRECT [[Основы функционального программирования/Формализация ФПфункционального программирования на основе лямбда-исчисления]]