Lambda calcolo
Era: Teoria Precoce · 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: Articolo
L’articolo di Church del 1936 presenta la lambda-definibilità e l’indecidibilità.
Pubblicato: ·Consultato: