lambdakalkyl

Also known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus

formal system in mathematical logic

Wikidata facts

Image: Un terme avec liens version 2.png

Show 2 more facts

Commons category: Lambda calculus
Stack Exchange tag: stackoverflow.com/tags/lambda-calculus

Sources (3)

via Wikidata · CC0

Article · Svenska

Lambdakalkyl (λ-kalkyl) är ett formellt system som skapades för att undersöka funktioner och rekursion. Lambdakalkyl utvecklades på 1930-talet av Alonzo Church, men fick sitt genombrott först efter 1969 då tagit fram den första konsistenta matematiska modellen för lambdakalkyl. Formella teorier för semantik i programspråk som baserades på lambdakalkyl hade innan dess ansetts som defekta då inga konsistenta matematiska modeller fanns. Lambdakalkylen är den matematiska grunden för många funktionella programspråk, exempelvis Lisp.

Abstract from DBpedia / Wikipedia · CC BY-SA