File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
lambda calcolo
Also known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
sistema formale definito nel 1936 dal matematico Alonzo Church
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 · Italiano
Il lambda calcolo o λ-calcolo è un sistema formale definito nel 1936 dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo. Le prime sono espresse per mezzo di un linguaggio formale, che stabilisce quali siano le regole per formare un termine, il secondo con un sistema di riscrittura, che definisce come i termini possano essere ridotti e semplificati.
Abstract from DBpedia / Wikipedia · CC BY-SA