Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами...
4 KB (243 words) - 09:59, 13 June 2018
Просто типизированное лямбда-исчисление (простое типизированное лямбда-исчисление, лямбда-исчисление с простыми типами, система λ → {\displaystyle \lambda...
13 KB (864 words) - 05:11, 8 April 2013
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости...
24 KB (2,289 words) - 09:36, 14 May 2024
Franklin Gothic) Л выглядит как Λ. Космологическая постоянная Модель Лямбда-CDM Лямбда-частицы в физике частиц В спектральном разложении матрицы — диагональная...
6 KB (298 words) - 19:44, 2 July 2023
продолжений. ML — типизированное лямбда-исчисление, то есть лямбда-исчисление, дополненное системой типов Хиндли — Милнера. Prolog — исчисление предикатов....
177 KB (10,452 words) - 16:34, 3 May 2024
Matita[англ.]). Среди вариантов исчисления — исчисление индуктивных конструкций (использует индуктивные типы), исчисление коиндуктивных конструкций (с применением...
10 KB (931 words) - 04:26, 1 July 2022
(полиморфное лямбда-исчисление высшего порядка с зависимыми типами) фактически представляет собой исчисление конструкций. Все системы лямбда-куба обладают...
8 KB (608 words) - 13:15, 5 October 2020
Комбинаторная логика (category Лямбда-исчисление)
вычислительные системы Функциональное программирование Типизированное лямбда-исчисление SKI-исчисление[англ.] Под ред. Ф. В. Константинова. Логика комбинаторная //...
13 KB (946 words) - 12:14, 18 June 2021
Кодирование Чёрча (category Лямбда-исчисление)
Чёрча. Сама процедура названа в честь Алонзо Чёрча, разработавшего лямбда-исчисление и впервые применившего этот метод кодирования данных. По аналогии...
22 KB (2,216 words) - 06:00, 30 October 2023
System F: Система F — система полиморфно типизированного лямбда-исчисления. System F — псевдоним голландского диджея, продюсера и композитора Ферри Корстена...
502 bytes (55 words) - 17:19, 8 January 2017
Система F (category Лямбда-исчисление)
(полиморфное лямбда-исчисление, система λ 2 {\displaystyle \lambda 2} , типизированное лямбда-исчисление второго порядка) — система типизированного лямбда-исчисления...
31 KB (3,155 words) - 12:36, 31 March 2024