Кривинский автомат
Кривошипная машина Определение и применение машины Кривина Машина Кривина – это абстрактная машина для вычисления нормальных форм в лямбда-исчислении. Она […]
Вики
Operational semantics
Вики
Явная замена
Явная подстановка Явные подстановки в лямбда-исчислении Явные подстановки акцентируют внимание на формализации процесса подстановки в лямбда-исчислении. Стандартное лямбда-исчисление использует неявные
Вики
Операционная семантика
Операционная семантика Определение и история операционной семантики Операционная семантика описывает, как программы интерпретируются и выполняются. Основана на работах Алонзо Чёрча