Erschienen: 15.07.2013 Abbildung von Pitts | Nominal Sets | 2013

Pitts

Nominal Sets

Names and Symmetry in Computer Science

lieferbar, ca. 4 Wochen

ca. 67,72 €

inkl. Mwst.

2013. Buch. 295 S. Hardcover

Cambridge University Press. ISBN 978-1-107-01778-8

Format (B x L): 15,2 x 22,8 cm

In englischer Sprache

Produktbeschreibung

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.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...