6497 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
8 - Nominal algebraic data types
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 129-152
-
- Chapter
- Export citation
PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 11-12
-
- Chapter
- Export citation
9 - Locally scoped names
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 153-176
-
- Chapter
- Export citation
2 - Support
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 29-48
-
- Chapter
- Export citation
Nominal Sets
- Names and Symmetry in Computer Science
-
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013
Contents
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp vii-x
-
- Chapter
- Export citation
PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 111-112
-
- Chapter
- Export citation
References
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 257-268
-
- Chapter
- Export citation
12 - Computational logic
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 240-256
-
- Chapter
- Export citation
7 - Inductive and coinductive definitions
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 113-128
-
- Chapter
- Export citation
Index of notation
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 269-271
-
- Chapter
- Export citation
4 - Name abstraction
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 59-77
-
- Chapter
- Export citation
11 - Domain theory
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 219-239
-
- Chapter
- Export citation
10 - Functional programming
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 177-218
-
- Chapter
- Export citation
Index
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 272-276
-
- Chapter
- Export citation
5 - Orbit-finiteness
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 78-94
-
- Chapter
- Export citation
Preface
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp xi-xiii
-
- Chapter
- Export citation
3 - Freshness
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 49-58
-
- Chapter
- Export citation
Dedication
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp v-vi
-
- Chapter
- Export citation
The Entropy of Random-Free Graphons and Properties
-
- Journal:
- Combinatorics, Probability and Computing / Volume 22 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 16 May 2013, pp. 517-526
-
- Article
- Export citation