Упрощённая модель того, как применяются процедуры. В действительности подстановка реализуется с помощью локальных окружений для формальных параметров.
подстановка
Для именованных функций правило вычисления аппликации нуждается в уточнении.