3.2 Модель вычислений с окружениями

• 3.2.1 Правила вычисления

• 3.2.2 Применение простых процедур

• 3.2.3 Кадры как хранилище внутреннего состояния

• 3.2.4 Внутренние определения