Nominal Sets: Names And Symmetry In Computer Science (cambridge Tracts In Theoretical Computer Science)
by Andrew M. Pitts /
2013 / English / PDF
1.5 MB Download
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.
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.