Il calcolo lambda. Sintassi e semantica

Recensioni dei lettori

Il libro è un riferimento molto apprezzato sul calcolo lambda, particolarmente adatto a professionisti e accademici. È completo e ben scritto, ma presenta notevoli problemi di accessibilità e di qualità della traduzione.

⬤ Trattamento completo e approfondito del calcolo lambda
⬤ adatto a professionisti e studenti seri
⬤ serve come libro di testo nei corsi di laurea
⬤ considerato un classico del settore.

⬤ Difficile da leggere e da capire, soprattutto per chi non ha una solida preparazione matematica
⬤ scarsa qualità di traduzione con numerosi errori
⬤ non ideale per i programmatori o per chi cerca applicazioni pratiche.

(basato su 8 recensioni dei lettori)

Titolo originale:

The Lambda Calculus. Its Syntax and Semantics

Contenuto del libro:

Il calcolo lambda, trattato in questo libro principalmente nella sua versione non tipizzata, consiste in una collezione di espressioni, chiamate termini lambda, insieme a modi per riscriverle e identificarle. Nelle parti dedicate alla conversione, alla riduzione, alle teorie e ai modelli, la visione è rispettivamente "algebrica", computazionale, con più identificazioni ("coinductive"), e infine teoretica degli insiemi.

I termini lambda sono costruiti a partire dalle variabili, utilizzando l'applicazione e l'astrazione. L'applicazione di un termine F a M ha come intenzione che F sia una funzione, M il suo argomento e FM il risultato dell'applicazione. Questa è solo l'intenzione: per ottenere effettivamente il risultato bisogna riscrivere l'espressione FM secondo le regole di riduzione.

L'astrazione fornisce un modo per creare funzioni in base all'effetto che si ottiene applicandole. La potenza della teoria deriva dal fatto che le computazioni, sia terminanti che infinite, possono essere espresse da termini lambda a un livello di astrazione "confortevole".