wiki-linki.ru - поиск статей википедии и связей между ними

Лямбда-куб


Ля́мбда-куб (λ-куб) задает единообразное описание восьми различных систем типизированного лямбда-исчисления с явным приписыванием типов (систем, типизированных по Чёрчу). Он организован в соответствии с возможными зависимостями между типами и термами этого исчисления и формирует естественную структуру для исчисления конструкций. Идею лямбда-куба предложил в 1991 году голландский логик и математик Хенк Барендрегт.


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.