Лямбда-исчисление
Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах. Лямбда-термины представляют собой выражения, которые могут быть вычислены с […]
Вики
Лямбда-исчисление
Вики
Комбинаторная логика
Комбинаторная логика Основы комбинаторной логики Комбинаторная логика — это формальная система, основанная на комбинаторах, введенных в 1924 году. Комбинаторы —
Вики
Просто типизированное лямбда-исчисление
Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с типами продуктов и операторами
Вики
Бета-нормальная форма
Бета-нормальная форма В лямбда-исчислении термин имеет бета-нормальную форму, если невозможно бета-сокращение. Термин имеет бета-эта нормальную форму, если невозможно ни бета-сокращение,
Вики
Нормальная форма (абстрактное переписывание)
Обычная форма (переписывание тезисов) Абстрактное переписывание: объект находится в нормальной форме, если его невозможно переписать дальше. Система перезаписи обладает свойством
Вики
Функция высшего порядка
Функция высшего порядка Функция высшего порядка (HOF) выполняет по крайней мере одно из действий: принимает функции в качестве аргументов или
Вики
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление Типизированные лямбда-вычисления являются фундаментальными языками программирования и основой типизированных функциональных языков. Они играют важную роль при разработке систем
Вики
Лямбда-исчисление
Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые могут быть вычислены с
Вики
Декартова закрытая категория
Декартова замкнутая категория Декартова замкнутая категория — категория с замкнутыми обратными связями и изоморфизмом между произведениями. Функциональный уровень программирования может