Wikidata facts
- Has part
- typed lambda calculus
- Image
- Lambda Cube img.svg
Show 1 more fact
- facet of
- type constructor
Sources (1)
via Wikidata · CC0
Article · Русский
Ля́мбда-куб (λ-куб) — наглядная классификация восьми типизированных лямбда-исчислений с явным приписыванием типов (систем, типизированных по Чёрчу). Куб организован в соответствии с возможными зависимостями между типами и термами этого исчисления и формирует естественную структуру для исчисления конструкций. Идею λ-куба предложил в 1991 году нидерландский логик и математик Хенк Барендрегт. Дальнейшие обобщения лямбда-куба можно получить, рассматривая чистую систему типов.
Abstract from DBpedia / Wikipedia · CC BY-SA