Лямбда-исчисление

Вики

Расчет конструкций — Википедия

/

Математический анализ конструкций Основы конструкционного анализа (CoC) CoC — это теория типов, разработанная Тьерри Кокандом, которая может служить как языком […]

Вики

Комбинатор с фиксированной точкой

/

Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой — это функция, возвращающая фиксированную

Вики

Расчет конструкций — Википедия

/

Математический анализ конструкций Основы конструкционного анализа (CoC) CoC — это теория типов, разработанная Тьерри Кокандом, которая может служить как языком

Вики

Теорема Чёрча–Россера

/

Теорема Черча–Россера Теорема Черча-Россера Утверждает, что каждое нормальное выражение в лямбда-исчислении может быть сведено к нормальной форме.  Используется для доказательства

Вики

Типизированное лямбда-исчисление

/

Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами.  Они являются фундаментальными для типизированных функциональных языков

Вики

Кривинский автомат

/

Кривошипная машина Определение и применение машины Кривина Машина Кривина — это абстрактная машина для вычисления нормальных форм в лямбда-исчислении.  Она

Вики

Рыцари лямбда-исчисления

/

Рыцари лямбда-исчисления Рыцари лямбда-исчисления Шутливая хакерская культура, основанная на лямбда-исчислении и рыцарях-тамплиерах.  Не существует реальной организации с таким названием, но

Вики

Лямбда-мю-исчисление

/

Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ в теории вычислимости и

Вики

Директорская строка

/

Режиссерская строка Определение и применение директорских строк Директорские строки используются для отслеживания свободных переменных в математических выражениях.  Они были введены

Вики

Стратегия сокращения

/

Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция — это процесс упрощения

Вики

Система чистых типов

/

Система чистого типа Основы теории доказательств и типов Система чистых типов (PTS) — это форма типизированного лямбда-исчисления с произвольным количеством

Вики

Тип проживания

/

Тип населенного пункта Определение типа в теории типов Проблема определения типа в типизированном математическом анализе: существует ли λ-код M, такой

Вики

Расчет конструкций

/

Математический анализ конструкций Основы конструкционного анализа (CoC) CoC — это теория типов, разработанная Тьерри Кокандом, которая может служить как языком

Вики

Комбинаторное исчисление SKI

/

ЛЫЖНЫЙ комбинаторный расчет Основы комбинаторной логики Комбинаторная логика — это система, которая позволяет создавать сложные выражения из простых комбинаций.  Она

Вики

Явная замена

/

Явная подстановка Явные подстановки в лямбда-исчислении Явные подстановки акцентируют внимание на формализации процесса подстановки в лямбда-исчислении.  Стандартное лямбда-исчисление использует неявные

Вики

Суперкомбинатор

/

Суперкомбинатор Определение суперкомбинатора Суперкомбинатор — это математическое выражение, которое является полностью связанным и самодостаточным.  Суперкомбинаторы могут быть константами или комбинаторами,

Вики

Аппликативные вычислительные системы

/

Прикладные вычислительные системы Основы прикладных вычислительных систем ACS основаны на комбинаторной логике и лямбда-исчислении.  Основное понятие — представление объекта.  Комбинаторная

Вики

Подать заявку

/

Применять Определение и применение карри Карри — это функция, которая принимает функцию и возвращает новую функцию, которая применяет аргументы исходной

Вики

Анонимная функция

/

Анонимная функция Определение и использование анонимных функций Анонимные функции — это функции без явного имени, которые могут быть определены в

Прокрутить вверх