Il Lambda Calculus, considerato la base matematica del linguaggio di programmazione, è un calcolo sviluppato da Alonzo Church e Stephen Kleene negli anni '1930 per esprimere tutte le funzioni computabili. Nel tentativo di formalizzare il concetto di computabilità (noto anche come costruibilità e calcolabilità effettiva), Church e Kleene svilupparono un potente linguaggio con una sintassi semplice e poche restrizioni grammaticali. Il linguaggio si occupa dell'applicazione di una funzione ai suoi argomenti (una funzione è un insieme di regole) ed esprime qualsiasi entità come variabile, applicazione di una funzione all'altra o come "astrazione lambda" (una funzione in cui la lettera greca �lambda è definita come l'operatore di astrazione). Il lambda calcolo e le teorie strettamente correlate dei combinatori e dei sistemi di tipi sono basi importanti nello studio della matematica, della logica e del linguaggio di programmazione del computer.
Calcolo lambda
