Gli insiemi nominali forniscono una nuova promettente analisi matematica dei nomi nei linguaggi formali basata sulla simmetria, con molte applicazioni alla sintassi e alla semantica dei costrutti dei linguaggi di programmazione che coinvolgono l'associazione o la localizzazione dei nomi. La Parte I fornisce un'introduzione alla teoria di base degli insiemi nominali. Nella Parte II l'autore passa in rassegna alcune delle applicazioni che hanno sviluppato nei linguaggi di programmazione, la semantica (sia operativa che denotazionale), la programmazione funzionale e la programmazione logica. Essendo il primo libro a fornire un resoconto dettagliato della teoria degli insiemi nominali, sarà accolto con favore da ricercatori e dottorandi in informatica teorica. Lingua: Inglese