Подстановочная модель аппликации

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

Для именованных функций правило вычисления аппликации нуждается в уточнении.