Del 14
Del 57 i serien Cambridge Tracts in Theoretical Computer Science
Nominal Sets
Names and Symmetry in Computer Science
Inbunden, Engelska, 2013
1 019 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2013-05-30
- Mått156 x 235 x 20 mm
- Vikt550 g
- FormatInbunden
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor287
- FörlagCambridge University Press
- ISBN9781107017788
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 27
Del 23
Nets, Terms and Formulas
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
799 kr
Del 34
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
Häftad
889 kr
Del 19
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
1 189 kr
Del 40
Del 32
The Logic of Typed Feature Structures
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
799 kr
Del 28
Del 39
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
839 kr
Del 3
Del 42