|
Лекция 22: Формальная семантика языков функционального программирования, и 21 |
Лекция 16:
Описание рекурсивных функций. Комбинаторы и комбинаторная логика
< Лекция 1 || Лекция 16
Аннотация: Описание рекурсивных функций. Оператор неподвижной точки. Комбинаторы и комбинаторная логика.
< Лекция 1 || Лекция 16
