Il lambda calcolo è un sistema di riscrittura definito formalmente dal matematico
Alonzo Church. È stato sviluppato per analizzare formalmente le definizioni di
funzioni, le loro applicazioni ed è uno strumento interessante per studiare anche fenomeni di
ricorsione. In quanto sistema di riscrittura, esso dà una descrizione dei termini ben formati, che sono le sequenze di simboli riconosciute dal sistema e in grado di essere riscritti da esso. Il lambda calcolo, infatti, definisce un insieme di regole di riscrittura che determinano in maniera precisa come i termini stessi possano essere riscritti. In questo modo, il processo di riscrittura diventa un vero e proprio
calcolo. Per tale ragione, nel corso di questa descrizione ci si riferirà al lambda calcolo come il calcolo, quando non ci sarà pericolo di ambiguità.
Per saperne di più visita Wikipedia.org...
Free Download Now!
