Nominale verzamelingen bieden een veelbelovende nieuwe wiskundige analyse van namen in formele talen op basis van symmetrie met vele toepassingen op de syntaxis en semantiek van programmeertaalconstructies die betrekking hebben op het binden of lokaliseren van namen. Deel I geeft een inleiding tot de basistheorie van nominale verzamelingen. In deel II geeft de auteur een overzicht van enkele van de toepassingen die zich hebben ontwikkeld in de semantiek van de programmeertaal (zowel operationeel als denotationeel), functioneel programmeren en logisch programmeren. Als het eerste boek dat een gedetailleerd verslag geeft van de theorie van nominale verzamelingen, zal het worden verwelkomd door onderzoekers en afgestudeerde studenten in de theoretische informatica. Taal: Engels