TY - BOOK ID - 80823466 TI - Nominal sets PY - 2013 VL - 57 SN - 9781139084673 9781107017788 9781107250079 1107250072 1107248418 9781107248410 1139084674 9781107247581 1107247586 1107017785 9781299707474 1299707475 1139890778 1107249244 1107250900 9781139890779 9781107249240 9781107250901 PB - Cambridge DB - UniCat KW - Symmetry. KW - Programming languages (Electronic computers) KW - Programming language semantics KW - Semantics KW - Aesthetics KW - Proportion KW - Syntax. KW - Semantics. UR - https://www.unicat.be/uniCat?func=search&query=sysid:80823466 AB - Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science. ER -