Расчет конструкций — Википедия
Математический анализ конструкций Основы конструкционного анализа (CoC) CoC — это теория типов, разработанная Тьерри Кокандом, которая может служить как языком […]
Вики
Lambda calculus
Вики
Комбинатор с фиксированной точкой
Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой — это функция, возвращающая фиксированную
Вики
Расчет конструкций — Википедия
Математический анализ конструкций Основы конструкционного анализа (CoC) CoC — это теория типов, разработанная Тьерри Кокандом, которая может служить как языком
Вики
Теорема Чёрча–Россера
Теорема Черча–Россера Теорема Черча-Россера Утверждает, что каждое нормальное выражение в лямбда-исчислении может быть сведено к нормальной форме. Используется для доказательства
Вики
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами. Они являются фундаментальными для типизированных функциональных языков
Вики
Выражение Let
Пусть выражение Преобразование выражений let в лямбда-выражения Выражения let могут быть преобразованы в лямбда-выражения с использованием правил. Правила включают преобразование
Вики
Кривинский автомат
Кривошипная машина Определение и применение машины Кривина Машина Кривина — это абстрактная машина для вычисления нормальных форм в лямбда-исчислении. Она
Вики
Рыцари лямбда-исчисления
Рыцари лямбда-исчисления Рыцари лямбда-исчисления Шутливая хакерская культура, основанная на лямбда-исчислении и рыцарях-тамплиерах. Не существует реальной организации с таким названием, но
Вики
Лямбда-мю-исчисление
Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы. Оператор μ отличается от оператора μ в теории вычислимости и
Вики
Директорская строка
Режиссерская строка Определение и применение директорских строк Директорские строки используются для отслеживания свободных переменных в математических выражениях. Они были введены
Вики
Система B, C, K, W
Система B, C, K, W Основы комбинаторной логики Система B, C, K, W использует примитивные комбинаторы для логики. Открыта Хаскеллом
Вики
Определение лямбда-исчисления
Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. Лямбда-абстракция позволяет создавать анонимные
Вики
Стратегия сокращения
Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии. Редукция — это процесс упрощения
Вики
Индекс Де Брейна
Индекс Де Брейна Основы индексов де Брейна Индексы де Брейна используются для представления лямбда-терминов без указания имен переменных. Термины с
Вики
Комбинатор с фиксированной точкой
Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой — это комбинатор, который возвращает
Вики
Система чистых типов
Система чистого типа Основы теории доказательств и типов Система чистых типов (PTS) — это форма типизированного лямбда-исчисления с произвольным количеством
Вики
Лямбда-куб — Википедия
Лямбда-кубик Определение лямбда-куба Лямбда-куб — это система для описания и изучения чистых типов. Включает в себя системы λ→, λ2, λω
Вики
Тип проживания
Тип населенного пункта Определение типа в теории типов Проблема определения типа в типизированном математическом анализе: существует ли λ-код M, такой
Вики
Расчет конструкций
Математический анализ конструкций Основы конструкционного анализа (CoC) CoC — это теория типов, разработанная Тьерри Кокандом, которая может служить как языком
Вики
Комбинаторное исчисление SKI
ЛЫЖНЫЙ комбинаторный расчет Основы комбинаторной логики Комбинаторная логика — это система, которая позволяет создавать сложные выражения из простых комбинаций. Она