3622
правки
Изменения
→Аппликативный порядок редукции
==Аппликативный порядок редукции==
[http://pv.bstu.ru/flp/fpLectures.pdf Здесь] ещё про стратегии редуцирования, но немного другим языком (может быть, кому-то более понятным).
'''Аппликативный порядок редуцирования''' {{---}} первым делом редуцирования самый правый самый глубокий терм. То есть сначала упрощаем "аргументы" аппликации.
==Выписать систему уравнений типизации==
