Lambda Calcolo
Era: Teoria degli Inizi · anni 1930–anni 1950
Alonzo Church propose il Lambda Calcolo, un sistema formale per la definizione e l’applicazione di funzioni. Il Lambda Calcolo è considerato il fondamento teorico della programmazione funzionale e uno dei primi sistemi di tipi.
Alonzo Church (1903–1995)
Fonti e riscontri
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · Tipo di fonte: paper
Church’s 1936 paper presents lambda-definability and undecidability.
Pubblicato: ·Consultato: