Урок 9. Комбинаторная редукция
Урок 1. Что такое функциональное программирование
Функциональное программирование.Списки. Функции высших порядков
презентація до дипломної роботи кулєш ю.а. 2013
Урок 8. Введение в редукцию графов
Урок 6. Чистое лямбда-исчисление.
Урок 7. Интерпретация и компиляция функциональных программ.
Урок 4. "Завязывание узлов". Классы