Выражение Let
Пусть выражение Преобразование выражений let в лямбда-выражения Выражения let могут быть преобразованы в лямбда-выражения с использованием правил. Правила включают преобразование […]
Вики
лямбда-исчисление
Вики
Система B, C, K, W
Система B, C, K, W Основы комбинаторной логики Система B, C, K, W использует примитивные комбинаторы для логики. Открыта Хаскеллом
Вики
Определение лямбда-исчисления
Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. Лямбда-абстракция позволяет создавать анонимные
Вики
Индекс Де Брейна
Индекс Де Брейна Основы индексов де Брейна Индексы де Брейна используются для представления лямбда-терминов без указания имен переменных. Термины с
Вики
Обозначение де Брейна
Обозначение Де Брейна Основы нотации Де Брейна Нотация Де Брейна — это синтаксис λ-исчисления с измененным порядком аргументов. Условия в
Вики
Грамматика Монтегю
Грамматика Монтегю Ричард Монтегю разработал грамматику Монтегю для формализации естественного языка. Грамматика Монтегю основана на теории универсальной грамматики и семантике
Вики
Церковная кодировка
Церковное кодирование Церковные цифры используются для представления натуральных чисел в лямбда-исчислении. Церковные цифры могут быть представлены в виде пар или