Lambda calcolo

apri su Wikipedia
Lambda calcolo
Il lambda calcolo o λ-calcolo è un sistema formale definito 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.

Risorse delle biblioteche sull'argomento "Lambda calcolo"

Sperimentale

Argomenti correlati

Sperimentale