Andrew. M Pitts

Nominal Sets

• Gebundenes Buch

Produktbeschreibung

The first detailed account of the basic theory and applications of nominal sets.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 292
• Erscheinungstermin: 30. Mai 2013
• Englisch
• Abmessung: 235mm x 157mm x 20mm
• Gewicht: 579g
• ISBN-13: 9781107017788
• ISBN-10: 1107017785
• Artikelnr.: 37801543

Autorenporträt

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Inhaltsangabe

Preface
Introduction
Part I. Theory: 1. Permutation
2. Support
3. Freshness
4. Name abstraction
5. Orbit finiteness
6. Equivalents of Nom
Part II. Applications: 7. Inductive and conductive definitions
8. Nominal algebraic data types
9. Locally scoped names
10. Functional programming
11. Domain theory
12. Computational logic
References
Notation index
Index.