Просто типизированное лямбда-исчисление
Sign in to saveAlso known as STLC, λ→
formal system in mathematical logic
Wikidata facts
- Instance of
- typed lambda calculus
Show 1 more fact
- discoverer or inventor
- Alonzo Church
Sources (2)
via Wikidata · CC0
Article · Русский
Просто типизированное лямбда-исчисление (простое типизированное лямбда-исчисление, лямбда-исчисление с простыми типами, система ) — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип. Эта система была предложена Алонзо Чёрчем в 1940 году. Для близкого к лямбда-исчислению формализма комбинаторной логики похожая система рассматривалась Хаскеллом Карри в 1934 году.
Abstract from DBpedia / Wikipedia · CC BY-SA