Nominal Sets

Les ensembles nominaux fournissent une nouvelle analyse mathématique prometteuse des noms dans les langages formels basée sur la symétrie, avec de nombreuses applications à la syntaxe et à la sémantique des constructions de langages de programmation qui impliquent la liaison ou la localisation des noms. La première partie fournit une introduction à la théorie de base des ensembles nominaux. Dans la deuxième partie, l’auteur passe en revue quelques-unes des applications qui se sont développées dans les langages de programmation, la sémantique (opérationnelle et dénotationnelle), la programmation fonctionnelle et la programmation logique. En tant que premier livre à donner un compte rendu détaillé de la théorie des ensembles nominaux, il sera bien accueilli par les chercheurs et les étudiants diplômés en informatique théorique. Langue : Anglais