Явная замена
Явная подстановка Явные подстановки в лямбда-исчислении Явные подстановки акцентируют внимание на формализации процесса подстановки в лямбда-исчислении. Стандартное лямбда-исчисление использует неявные […]
Вики
Подстановка (логика)
Вики
Подстановка (логика)
Подстановка (логика) Подстановка — это отображение переменных в члены выражения. Многие авторы требуют, чтобы подстановка отображала каждую переменную в соответствующий